@Article{MV+02, Author = "McCune, W.W. and Veroff, R. and Fitelson, B. and Harris, K. and Feist, A. and Wos, L.", Year = "2002", Title = "{Short Single Axioms for Boolean Algebra}", Journal = "Journal of Automated Reasoning", Volume = "29", Number = "1", Pages = "1-16", Comment = "TPTPRef" }