Danny De Schreye, Kristof Verschaetse. Tutorial on Termination of Logic Programs. In Alberto Pettorossi, editor, Meta-Programming in Logic, 3rd International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992, Proceedings. Volume 649 of Lecture Notes in Computer Science, pages 70-88, Springer, 1992.
@inproceedings{SchreyeV92,
title = {Tutorial on Termination of Logic Programs},
author = {Danny De Schreye and Kristof Verschaetse},
year = {1992},
tags = {meta programming, meta-model, termination, logic programming, logic, Meta-Environment, meta-objects},
researchr = {https://researchr.org/publication/SchreyeV92},
cites = {0},
citedby = {0},
pages = {70-88},
booktitle = {Meta-Programming in Logic, 3rd International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992, Proceedings},
editor = {Alberto Pettorossi},
volume = {649},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-56282-6},
}