LisovikL. P. (1997). On axiomatizations of Boolean algebras. Ukrains’kyi Matematychnyi Zhurnal, 49(7), 937–942. Retrieved from https://umj.imath.kiev.ua/index.php/umj/article/view/5084