1. E. Aladova, “Syntax versus semantics in knowledge bases. I,” Int. J. Algebra Comput., 28, No. 8, 1385–1404 (2018).
2. C. C. Chang and H. J. Keisler, Model Theory, North-Holland (1973).
3. E. Daniyarova, A. Myasnikov, and V. Remeslennikov, Algebraic Geometry over Algebraic Systems [in Russian], SO RAN, Novosibirsk (2016).
4. A. Gvaramia, “Halmos algebras and axiomatizable classes of quasigroups,” Usp. Mat. Nauk, 40, No. 4, 215–216 (1985).
5. P. R. Halmos, Algebraic Logic, New York (1969).