William McCune Robert Veroff Branden Fitelson Kenneth Harris Andrew Feist Larry Wos Short Single Axioms for Boolean Algebra. 1-16 2002 29 J. Autom. Reasoning 1 db/journals/jar/jar29.html#McCuneVFHFW02