Termination Analysis of Tabled Logic Programs Using Mode and Type Information.

Sofie Verbaeten Danny De Schreye Termination Analysis of Tabled Logic Programs Using Mode and Type Information. 163-178 1999 conf/flops/1999 Fuji International Symposium on Functional and Logic Programming db/conf/flops/flops99.html#VerbaetenS99