,
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. In Logic Programming. Proceedings of the Joint International Conference and Symposium on Logic Programming 1996 (pp. 468–482). MIT Press (Cambridge, MA).