Embedding with patterns and associated recursive path ordering (1989)

by L Puel
Venue:In Proceedings of the 3rd Conference on Rewriting Techniques and Applications