@article{00219488,
title = {The congruence lattice of implication algebras.},
journal = {Mathematica Pannonica},
volume = {3},
year = {1992},
pages = {115-123},
zbl = {0774.08008},
language = {en},
url = {http://dml.mathdoc.fr/item/00219488}
}
Radelecki, Sándor. The congruence lattice of implication algebras.. Mathematica Pannonica, Tome 3 (1992) pp. 115-123. http://gdmltest.u-ga.fr/item/00219488/