1. S. S. Goncharov, Countable Boolean Algebra and Decidability [in Russian], Nauchnaya Kniga (IDMI), Novosibirsk (1986); English transl.: Plenum, New York (1997).
2. S. S. Goncharov, “Restricted theories of constructive Boolean algebra” [in Russian], Sib. Mat. Zh. 17, No. 4, 797–812 (1976); English transl.: Sib. Math. J. 17, No. 4, 601–611 (1976).
3. S. S. Goncharov, “Some properties of the constructivization of Boolean algebras” [in Russian], Sib. Mat. Zh. 16, No. 2, 264–278 (1975); English transl.: Sib. Math. J. 16, 203–214 (1975).
4. Yu. L. Ershov, “Decidability of elementary theories of relatively complemented distributive lattices and the theory of filters” [in Russian], Algebra Logika 3, No. 3, 17–38 (1964).
5. S. P. Odintsov, Bounded Theories of Constructive Boolean Algebras of Lower Layer [in Russian], Prerpint No. 21, Novosibirsk (1986).