"Well-Nested Context Unification."

Jordi Levy, Joachim Niehren, Mateu Villaret (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics