,
MIT Press (Cambridge, MA)
Logic Programming
Joint International Conference and Symposium on Logic Programming

Etalle, S.& Teusink, F. (1996). A compositional semantics for normal open programs. Logic Programming. Proceedings of the Joint International Conference and Symposium on Logic Programming 1996, 468–482.