TY - JOUR AU - Brzozowski, J. A. AU - Knast, Robert TI - Graph congruences and pair testing JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications PY - 1986 SP - 129 EP - 147 VL - 20 IS - 2 PB - AFCET - Gauthier-Villars PP - Paris UR - http://www.numdam.org/item/ITA_1986__20_2_129_0/ LA - en ID - ITA_1986__20_2_129_0 ER -