Automatic Proofs and Counterexamples for Some Ortholattice Identities (1998)

by William Mccune
Venue:Information Processing Letters