Automated discovery of single axioms for ortholattices (2005)

by W. Mccune , R. Padmanabhan , M. A. Rose , R. Veroff
Venue:Algebra Universalis
Citations:4 - 1 self