Embedding with patterns and associated recursive path ordering (1989)

by L PUEL
Venue:In Proceedings of the 3rd Conference on Rewriting Techniques an Applications