1. Andreas Abel . 1998. foetus–termination checker for simple functional programs. Programming Lab Report, 474 ( 1998 ). Andreas Abel. 1998. foetus–termination checker for simple functional programs. Programming Lab Report, 474 (1998).
2. A predicative analysis of structural recursion
3. Finding Lexicographic Orders for Termination Proofs in Isabelle/HOL
4. Combining Norms to Prove Termination
5. Eduarde Giménez . 1994 . Codifying guarded definitions with recursive schemes . In International Workshop on Types for Proofs and Programs. 39–59 . Eduarde Giménez. 1994. Codifying guarded definitions with recursive schemes. In International Workshop on Types for Proofs and Programs. 39–59.