A. E. Andreev og S. Soloviev, “A Decision Algorithm for Linear Isomorphism of Types with Complexity Cn(log2(n))”, BRICS, bd. 3, nr. 46, jun. 1996.