1. Andreas Abel and Thorsten Altenkirch. A semantical analysis of structural recursion. In Abstracts of the Fourth International Workshop on Termination WST’99, pages 24–25. unpublished, May 1999.
2. Lect Notes Comput Sci;P. H. Andersen,1996
3. Thomas Arts. Automatically Proving Termination and Innermost Normalisation of Term Rewriting Systems. PhD thesis, Universiteit Utrecht, 1997.
4. Lect Notes Comput Sci;T. Arts,1997
5. Lect Notes Comput Sci;M. Codish,1997