"Triangulation in Rewriting."

Vincent van Oostrom, Hans Zantema (2012)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics