Short Single Axioms for Boolean Algebra. - William McCune; Robert Veroff; Branden Fitelson; Kenneth Harris; Andrew Feist; Larry Wos (J. Autom. Reason., 2002)