Plotkin, T., & Knyazhansky, M. (2008). Automorphic Equivalence of Multi-models Recognition. Armenian Journal of Mathematics, 1(2), pp. 10-24. https://armjmath.sci.am/index.php/ajm/article/view/23