T. Plotkin and M. Knyazhansky, “Automorphic Equivalence of Multi-models Recognition”, Armen.J.Math., vol. 1, no. 2, pp. pp. 10–24, Oct. 2008, Accessed: Apr. 04, 2025. [Online]. Available: https://armjmath.sci.am/index.php/ajm/article/view/23