[1] R. Balbes: 
A representation theory for prime and implicative semilattices. Trans. Am. Math. Soc. 136 (1969), 261-267. 
MR 0233741 | 
Zbl 0175.01402 
[2] J. Duda, I. Chajda: 
Ideals of binary relational systems. Časopis pěst. mat. 102 (1977), 280-291. 
MR 0447073 | 
Zbl 0356.08004 
[3] L. Nebeský: 
Algebraic properties of trees. Acta Univ. Carol. Philologica-Monographia XXV, 1969. 
MR 0274210 
[4] J. Nieminen: 
Operations on graphs determining congruences on graphs. Arch. Math., 14 (1978), 215-218. 
MR 0512764 | 
Zbl 0402.05047