%0 Journal Article %1 journals/scp/BarbutiFMS98 %A Barbuti, Roberto %A Francesco, Nicoletta De %A Mancarella, Paolo %A Santone, Antonella %D 1998 %J Sci. Comput. Program. %K dblp %N 1-3 %P 145-176 %T Towards a Logical Semantics for Pure Prolog. %U http://dblp.uni-trier.de/db/journals/scp/scp32.html#BarbutiFMS98 %V 32

@article{journals/scp/BarbutiFMS98, added-at = {2021-02-17T00:00:00.000+0100}, author = {Barbuti, Roberto and Francesco, Nicoletta De and Mancarella, Paolo and Santone, Antonella}, biburl = {https://www.bibsonomy.org/bibtex/2c63afe15259502bba66da44ec78a55a8/dblp}, ee = {https://doi.org/10.1016/S0167-6423(97)00033-6}, interhash = {36334a8a91c8ba2fd754e1276a063047}, intrahash = {c63afe15259502bba66da44ec78a55a8}, journal = {Sci. Comput. Program.}, keywords = {dblp}, number = {1-3}, pages = {145-176}, timestamp = {2024-04-09T05:29:27.000+0200}, title = {Towards a Logical Semantics for Pure Prolog.}, url = {http://dblp.uni-trier.de/db/journals/scp/scp32.html#BarbutiFMS98}, volume = 32, year = 1998 }