Andreev, Alexander E., and Sergei 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.