Some theorems on graph congruences Robert Knast RAIRO. Inform. théor., 17 4 (1983) 331-342 Published online: 03 February 2017 DOI: 10.1051/ita/1983170403311