Plotkin T, Knyazhansky M. Automorphic Equivalence of Multi-models Recognition. Armen.J.Math. [Internet]. 2008 Oct. 13 [cited 2025 Apr. 4];1(2):pp. 10-24. Available from: https://armjmath.sci.am/index.php/ajm/article/view/23