Natural narrowing for general term rewriting systems (2005)

by Santiago Escobar , José Meseguer , Prasanna Thati
Venue:Proc. of 16th International Conference on Rewriting Techniques and Applications, RTA’05, Lecture Notes in Computer Science
Citations:8 - 5 self