Orthomodular lattices and congruence permutability (2003)

by D Kelly, R Padmanabhan