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