Graph congruences and pair testingJ. A. Brzozowski and Robert KnastRAIRO-Theor. Inf. Appl., 20 2 (1986) 129-147DOI: https://doi.org/10.1051/ita/1986200201291
