Varieties of Representations of Groups and Varieties of Associative Algebras. - Elena Aladova; Boris I. Plotkin (Int. J. Algebra Comput., 2011)

Isotypeness of Models and Knowledge Bases Equivalence. - Elena Aladova; Eugene Plotkin; Tatjana L. Plotkin (Math. Comput. Sci., 2013)

Multi-sorted logic, models and logical geometry. - Elena Aladova; Aleko Gvaramia; Boris I. Plotkin; Tatjana L. Plotkin (CoRR, 2015)

Logically automorphically equivalent knowledge bases. - Elena Aladova; Tatjana L. Plotkin (CoRR, 2017)

Syntax versus semantics in knowledge bases - I. - Elena Aladova (Int. J. Algebra Comput., 2018)