Compositional Semantics for the Procedural Interpretation of Logic

Maarten H. van Emden. Compositional Semantics for the Procedural Interpretation of Logic. In Sandro Etalle, Miroslaw Truszczynski, editors, Logic Programming, 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings. Volume 4079 of Lecture Notes in Computer Science, pages 315-329, Springer, 2006. [doi]

Bibliographies