1. D. E. Pal'chunov, "On undecidability of theories of boolean algebras with a distinguished ideals," Algebra Logika,25, No. 3, 326–346 (1986).
2. D. E. Pal'chunov, "Countably categorical boolean algebras with distinguished ideals," Preprint No. 12, Institute of Mathematics, Academy of Sciences of the USSR, Siberian Branch, Novosibirsk (1986).
3. R. Sikorski, Boolean Algebras, Springer-Verlag, Berlin (1960); 2nd ed.: Springer-Verlag, Berlin (1964).
4. M. O. Rabin, "Decidability of second-order theories and automata on infinite trees," Trans. Am. Math. Soc.,141, 1–35 (1969).
5. A. D. Taimanov, "Characteristics of axiomatizable classes of models," Algebra Logika,1, No. 4, 5–31 (1962).