Minimal Axiomatization of Boolean Algebras - Eugene Zhang (2023)