"Abstract Critical Pairs and Confluence of Arbitrary Binary Relations."

Rémy Haemmerlé, François Fages (2007)
a service of Schloss Dagstuhl - Leibniz Center for Informatics