A. E. Andreev and S. Soloviev, “A Decision Algorithm for Linear Isomorphism of Types with Complexity Cn(log2(n))”, BRICS, vol. 3, no. 46, Jun. 1996.