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.
@inproceedings{VerbaetenSS99,
title = {Modular Termination Proofs for Prolog with Tabling},
author = {Sofie Verbaeten and Konstantinos F. Sagonas and Danny De Schreye},
year = {1999},
tags = {Prolog, termination},
researchr = {https://researchr.org/publication/VerbaetenSS99},
cites = {0},
citedby = {0},
pages = {342-359},
booktitle = {Principles and Practice of Declarative Programming, International Conference PPDP 99, Paris, France, September 29 - October 1, 1999, Proceedings},
editor = {Gopalan Nadathur},
volume = {1702},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-66540-4},
}