Logic Programming Semantics Made Easy

Els Laenens, Dirk Vermeir, Carlo Zaniolo. Logic Programming Semantics Made Easy. In Werner Kuich, editor, Automata, Languages and Programming, 19th International Colloquium, ICALP92, Vienna, Austria, July 13-17, 1992, Proceedings. Volume 623 of Lecture Notes in Computer Science, pages 499-508, Springer, 1992.

Abstract

Abstract is missing.