Thomas Arts. Termination by Absence of Infinite Chains of Dependency Pairs. In Hélène Kirchner, editor, Trees in Algebra and Programming - CAAP 96, 21st International Colloquium, Linköping, Sweden, April, 22-24, 1996, Proceedings. Volume 1059 of Lecture Notes in Computer Science, pages 196-210, Springer, 1996.
Abstract is missing.