Short Single Axioms for Boolean Algebra (2002)

by William Mccune , Robert Veroff , Branden Fitelson , Kenneth Harris , Andrew Feist , Larry Wos
Venue:J. Automated Reasoning
Citations:21 - 11 self