Annalisa Bossi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo. A Compositional Semantics for Logic Programs. Theoretical Computer Science, 122(1&2):3-47, 1994.
@article{BossiGLM94:0,
title = {A Compositional Semantics for Logic Programs},
author = {Annalisa Bossi and Maurizio Gabbrielli and Giorgio Levi and Maria Chiara Meo},
year = {1994},
tags = {semantics, composition, logic programming, logic},
researchr = {https://researchr.org/publication/BossiGLM94%3A0},
cites = {0},
citedby = {0},
journal = {Theoretical Computer Science},
volume = {122},
number = {1&2},
pages = {3-47},
}