Natural narrowing for general term rewriting systems (0)

by S Escobar, J Meseguer, P Thati
Venue:16 th International Conference on Rewriting Techniques and Applications, Lecture notes in computer science 3467 (2005