1. Goncharov S. S., Countable Boolean Algebras and Decidability [in Russian], Nauchnaya Kniga, Novosibirsk (1996).
2. Ershov Yu. L., “Decidability of the elementary theory of distributive structures with relative complements and the theory of filters, ” Algebra i Logika, 3, No. 3, 17–38 (1964).
3. Goncharov S. S., “Restricted theories of constructive Boolean algebras, ” Siberian Math. J., 17, No. 4, 601–611 (1977).
4. Goncharov S. S., “Some properties of the constructivization of Boolean algebras, ” Siberian Math. J., 16, No. 2, 203–214 (1975).
5. Odintsov S.P., Bounded Theories of Constructive Boolean Algebras of the Lower Layer [Preprint, No. 21], Inst. Mat., Novosibirsk (1986).