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