Udo Pletat. Integrating Model Theoretic and Proof Theoretic Interpretation of Logic Programs. In Thomas Christaller, editor, Künstliche Intelligenz, 5. Frühjahrsschule, KIFS-87, Günne, 28. März - 5. April 1987, Proceedings. Volume 202 of Informatik-Fachberichte, pages 42-64, Springer, 1987.
@inproceedings{Pletat87,
title = {Integrating Model Theoretic and Proof Theoretic Interpretation of Logic Programs},
author = {Udo Pletat},
year = {1987},
tags = {logic programming, logic},
researchr = {https://researchr.org/publication/Pletat87},
cites = {0},
citedby = {0},
pages = {42-64},
booktitle = {Künstliche Intelligenz, 5. Frühjahrsschule, KIFS-87, Günne, 28. März - 5. April 1987, Proceedings},
editor = {Thomas Christaller},
volume = {202},
series = {Informatik-Fachberichte},
publisher = {Springer},
isbn = {3-540-50884-8},
}