Andreev, Alexander E., and Sergei Soloviev. “A Decision Algorithm for Linear Isomorphism of Types With Complexity Cn(log2(n))”. BRICS Report Series 3, no. 46 (June 16, 1996). Accessed April 20, 2024. https://tidsskrift.dk/brics/article/view/20048.