Michael Leuschel, Bern Martens, Konstantinos F. Sagonas. Preserving Termination of Tabled Logic Programs While Unfolding. In Norbert E. Fuchs, editor, Logic Programming Synthesis and Transformation, 7th International Workshop, LOPSTR 97, Leuven, Belgium, July 10-12, 1997, Proceedings. Volume 1463 of Lecture Notes in Computer Science, pages 189-205, Springer, 1997. [doi]
Abstract is missing.