Plotkin, Tatjana, and Marina Knyazhansky. “Automorphic Equivalence of Multi-Models Recognition”. Armenian Journal of Mathematics 1, no. 2 (October 13, 2008): pp. 10–24. Accessed April 4, 2025. https://armjmath.sci.am/index.php/ajm/article/view/23.