1. E. A. Palyutin, “Categorical Horn classes. 1,” Algebra Logika, 19, No. 5, 582–614 (1980).
2. E. A. Palyutin, “Normality of Horn theories with nonmaximal spectrum,” Algebra Logika, 24, No. 5, 551–587 (1985).
3. E. A. Palyutin, “Quasivarieties with nonmaximal spectrum,” in: Abstracts of 6th Int. Congress of Log. Method. Phil. Sci., Moscow (1987), pp. 121–122.
4. E. A. Palyutin, “Elimination of quantifiers for commutative theories,” Dokl. Ross. Akad. Nauk, 363, No. 3, 301–303 (1998).
5. E. A. Palyutin, “Additive theories,” in: S. Buss, P. Hajek, and P. Pudlak, eds., Logic Colloquium ’98. Proc. of the Annual European Summer Meeting of the Association for Symbolic Logic, Prague, Czech Republic, August 9–15, 1998, Lect. Notes Logic, Vol. 13, A. K. Peters, Natick (2000), pp. 352–356.