Graph congruences and pair testing J. A. Brzozowski and Robert Knast RAIRO-Theor. Inf. Appl., 20 2 (1986) 129-147 Published online: 01 February 2017 DOI: 10.1051/ita/1986200201291