1. A. Wold, ?Decidability for Boolean algebras with automorphisms,? Not. Am. Math. Soc.,22, No. 164, A-648 (1975).
2. S. Burris, ?The first-order theory of Boolean algebras with a distinguished group of automorphisms,? Algebra Univ.,15, 156?161 (1982).
3. P. F. Jurie, ?Decidabilité de la theorie èlémentaire des anneaux booléuns à operateurs dans un groups fini,? C. R. Acad. Sci. Paris, Série A,295, 215?217 (1982).
4. M. Weesw, ?Undecidable extensions of the theory of Boolean algebras,? Preprint, Humboldt Univ. Berlin, Sekt. Math., No. 89 (1984).
5. Z. A. Dulatova, ?Extended theories of Boolean algebras,? Sib. Mat. Zh.25, No. 1, 201?204 (1984).