Improving Basic Narrowing Techniques (1987)

by P Réty
Venue:In: 2nd Int’l Conference on Rewriting Techniques and Applications (RTA