Short equational bases for ortholattices (2004)

by W. Mccune, R. Padmanabhan, M. A. Rose, R. Veroff
Venue:Preprint ANL/MCS-P1087-0903, Mathematics and Computer Science Division, Argonne National Laboratory, Argonne, IL