Automated discovery of single axioms for ortholattices (2005)

by W McCune, R Padmanabhan, M A Rose, R Veroff
Venue:Algebra Universalis