Automatic Proofs and Counterexamples for Some Ortholattice Identities (1998)

View PDF

Download Links

by William Mccune
Venue:Information Processing Letters
Citations:26 - 2 self