Natural Narrowing for General Term Rewriting Systems

Santiago Escobar, José Meseguer, Prasanna Thati. Natural Narrowing for General Term Rewriting Systems. In Jürgen Giesl, editor, Term Rewriting and Applications, 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings. Volume 3467 of Lecture Notes in Computer Science, pages 279-293, Springer, 2005. [doi]

Abstract

Abstract is missing.