Previous: Implementation-dependent extensions, Up: Top [Contents]
• [1] | Spiers, Somogyi, and Sondergaard, Termination Analysis for Mercury. | |
• [2] | Groger and Plumer, Handling of mutual recursion in automatic termination proofs for logic programs. | |
• [3] | Spiers, Termination Analysis for logic programs. | |
• [4] | Sagonas, The SLG-WAM: A Search-Efficient Engine for Well-Founded Evaluation of Normal Logic Programs. | |
• [5] | Demoen and Sagonas, CAT: the copying approach to tabling. |