%0 Journal Article %1 journals/tcs/BossiGLM94 %A Bossi, Annalisa %A Gabbrielli, Maurizio %A Levi, Giorgio %A Meo, Maria Chiara %D 1994 %J Theor. Comput. Sci. %K dblp %N 1&2 %P 3-47 %T A Compositional Semantics for Logic Programs. %U http://dblp.uni-trier.de/db/journals/tcs/tcs122.html#BossiGLM94 %V 122

@article{journals/tcs/BossiGLM94, added-at = {2022-10-02T00:00:00.000+0200}, author = {Bossi, Annalisa and Gabbrielli, Maurizio and Levi, Giorgio and Meo, Maria Chiara}, biburl = {https://www.bibsonomy.org/bibtex/2d526508f23a22c8357b14db77d6c4456/dblp}, ee = {https://doi.org/10.1016/0304-3975(94)90200-3}, interhash = {bd41c6e7aefbd3c8e14bed94f4b6a89b}, intrahash = {d526508f23a22c8357b14db77d6c4456}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, number = {1&2}, pages = {3-47}, timestamp = {2024-04-08T18:40:21.000+0200}, title = {A Compositional Semantics for Logic Programs.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs122.html#BossiGLM94}, volume = 122, year = 1994 }