1. Yu. L. Ershov, "Decidability of the theory of distributive lattices with relative complements and the theory of filters," Algebra Logika,3, No. 3, 17–39 (1964).
2. M. O. Rabin, "Decidability of the second order theories and automata on infinite trees," Trans. Am. Math. Soc.,141, 1–35 (1969).
3. A. S. Morozov, "On decidability of theories of Boolean algebras with a selected ideal," Sib. Mat. Zh.,23, No. 1, 199–201 (1982).
4. A. Tarski, "Arithmetic classes and types of Boolean algebras," Bull. Am. Math. Soc.,55, 64 (1949).
5. Yu. L. Ershov and E. A. Palyutin, Mathematical Logic [in Russian], Nauka, Moscow (1979).