Yet another single law for lattices. Algebra Universalis (2000)

by W McCune, R Padmanabhan, R Vero
Venue:Computer-Aided Reasoning: ACL2 Case Studies, chapter 16