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.
No references recorded for this publication.
No citations of this publication recorded.