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