Christoph Walther. Criteria for Termination. In Steffen Hölldobler, editor, Intellectics and Computational Logic (to Wolfgang Bibel on the occasion of his 60th birthday). Volume 19 of Applied Logic Series, pages 361-386, Kluwer, 2000.
Abstract is missing.