The general reproductive solution of Boolean equation. Banković, Dragić (1983) Publications de l'Institut Mathématique. Nouvelle Série
The theory of boolean algebras with a distinguished subalgebra is undecidable Matatyahu Rubin (1976) Annales scientifiques de l'Université de Clermont. Mathématiques