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] | Speirs, 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. |