1. K. I. Beidar and A. V. Mikhalev, "Orthogonal completeness and algebraic systems," Usp. Mat. Nauk,40, No. 6, 79–115 (1985).
2. E. A. Palyutin, "Categorical Horn classes. I," Algebra Logika,19, No. 5, 582–614 (1980).
3. A. I. Omarov, "Saturation of Boolean products," in: International Algebra Conference in Memory of A. I. Mal'tsev, Abstracts on Model Theory of Algebraic Systems, Novosibirsk (1989), p. 95.
4. S. Shelah, "For what filters is every reduced product saturated?," Isr. J. Math.,12, No. 1, 23–31 (1972).