Saturating right congruences

Le Saec, Bertrand

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Volume 24 (1990) p. 545-559