LisovikL. P., “On axiomatizations of Boolean algebras”, Ukr. Mat. Zhurn., vol. 49, no. 7, pp. 937–942, Jul. 1997.