Well-Nested Context Unification.

Jordi Levy, Joachim Niehren, Mateu Villaret

Browse the full CADE paper archive.