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.
No reviews for this publication, yet.