Short equational bases for ortholattices (2003)

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