Plotkin T, Knyazhansky M. Automorphic Equivalence of Multi-models Recognition. Armen.J.Math. 2008;1(2):pp. 10-24. Accessed May 9, 2026. http://test.armjmath.sci.am/index.php/ajm/article/view/23