%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 = {2011-08-30T00:00:00.000+0200}, author = {Barbuti, Roberto and Francesco, Nicoletta De and Mancarella, Paolo and Santone, Antonella}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2c63afe15259502bba66da44ec78a55a8/dblp}, ee = {http://dx.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 = {2016-02-02T02:39:43.000+0100}, title = {Towards a Logical Semantics for Pure Prolog.}, url = {http://dblp.uni-trier.de/db/journals/scp/scp32.html#BarbutiFMS98}, volume = 32, year = 1998 }