1. S. S. Goncharov, Countable Boolean Algebras and Decidability, Sib. School Alg. Log. [in Russian], Nauch. Kniga, Novosibirsk (1996).
2. Handbook of Boolean Algebras, Vols. 1–3, J. D. Monk (ed.), North-Holland, Amsterdam (1989).
3. Yu. L. Ershov, “Decidability of the elementary theory of distributive structures with relative complements and of the filter theory,” Algebra Logika, 3, No. 3, 17–38 (1964).
4. S. S. Goncharov, “Bounded theories of constructive Boolean algebras,” Sib. Mat. Zh., 17, No. 4, 797–812 (1976).
5. P. E. Alaev, “Decidable Boolean algebras of characteristic (1, 0, 1),” Mat. Trudy, 7, No. 1, 3–12 (2004).