New directions for syntactic termination orderings
Ursula Martin
Journal
Progress in Computer Science and Applied Logic
Pages
209–224
Volume
15
Year
1998
Ursula Martin