Plotkin, T. and Knyazhansky, M. (2008) “Automorphic Equivalence of Multi-models Recognition”, Armenian Journal of Mathematics, 1(2), pp. pp. 10–24. Available at: http://test.armjmath.sci.am/index.php/ajm/article/view/23 (Accessed: 9 May 2026).