Andreev, A. E. and Soloviev, S. (1996) “A Decision Algorithm for Linear Isomorphism of Types with Complexity Cn(log2(n))”, BRICS Report Series, 3(46). doi: 10.7146/brics.v3i46.20048.