Short equational bases for ortholattices: Proofs and countermodels (2003)

by W McCune, R Padmanabhan, M A Rose, R Vero
Venue:Tech. Memo ANL/MCSTM-265, Mathematics and Computer Science Division, Argonne National Laboratory, Argonne, IL