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. |