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.
@inproceedings{Walther00:0,
title = {Criteria for Termination},
author = {Christoph Walther},
year = {2000},
tags = {termination},
researchr = {https://researchr.org/publication/Walther00%3A0},
cites = {0},
citedby = {0},
pages = {361-386},
booktitle = {Intellectics and Computational Logic (to Wolfgang Bibel on the occasion of his 60th birthday)},
editor = {Steffen Hölldobler},
volume = {19},
series = {Applied Logic Series},
publisher = {Kluwer},
isbn = {0-7923-6261-6},
}