Andreev, A. E.; Soloviev, S. A Decision Algorithm for Linear Isomorphism of Types With Complexity Cn(log2(n) . BRICS 1996, 3.