Context Unification and Traversal Equations

Jordi Levy, Mateu Villaret. Context Unification and Traversal Equations. In Aart Middeldorp, editor, Rewriting Techniques and Applications, 12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001, Proceedings. Volume 2051 of Lecture Notes in Computer Science, pages 169-184, Springer, 2001. [doi]

Abstract

Abstract is missing.