Natural narrowing for general term rewriting systems (0)

by S Escobar, J Meseguer, P Thati
Venue:Term Rewriting and Applications, 16th International Conference, RTA 2005