Stefaan Decorte, Danny De Schreye, Michael Leuschel, Bern Martens, Konstantinos F. Sagonas
Termination Analysis for Tabled Logic Programming
LOPSTR, 1997.
@inproceedings{LOPSTR-1997-DecorteSLMS,
author = "Stefaan Decorte and Danny De Schreye and Michael Leuschel and Bern Martens and Konstantinos F. Sagonas",
booktitle = "{Proceedings of the Seventh International Workshop on Logic Programming Synthesis and Transformation}",
doi = "10.1007/3-540-49674-2_6",
isbn = "3-540-65074-1",
pages = "111--127",
publisher = "{Springer-Verlag}",
series = "{Lecture Notes in Computer Science}",
title = "{Termination Analysis for Tabled Logic Programming}",
volume = 1463,
year = 1997,
}
Tags: