Compositional Model-Theoretic Semantics for Logic Programs.

Antonio Brogi Evelina Lamma Paola Mello Compositional Model-Theoretic Semantics for Logic Programs. 1-21 1992 11 New Generation Comput. 1 db/journals/ngc/ngc11.html#BrogiLM92