Short single axioms for Boolean algebra (0)

by W McCune, R Veroff, B Fitelson, K Harris, A Feist, L Wos
Venue:J. Automated Reasoning