Previous:
Implementation-dependent extensions
, Up:
Top
20 Bibliography
[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
.