Termination of Associative-Commutative Rewriting by Dependency Pairs (1998)

Cached

Download Links

by Claude Marche , Xavier Urbain
Venue:9th International Conference on Rewriting Techniques and Applications, volume 1379 of Lecture
Citations:13 - 1 self