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
Citations:3 - 3 self