Modular Termination Proofs for Prolog with Tabling

Sofie Verbaeten, Konstantinos F. Sagonas, Danny De Schreye. Modular Termination Proofs for Prolog with Tabling. In Gopalan Nadathur, editor, Principles and Practice of Declarative Programming, International Conference PPDP 99, Paris, France, September 29 - October 1, 1999, Proceedings. Volume 1702 of Lecture Notes in Computer Science, pages 342-359, Springer, 1999.

Abstract

Abstract is missing.