%0 Journal Article %1 journals/mlcs/GiannottiPZ94 %A Giannotti, Fosca %A Pedreschi, Dino %A Zaniolo, Carlo %D 1994 %J Meth. of Logic in CS %K dblp %N 1 %P 61-76 %T Declarative Semantics for Pruning Operators in Logic Programming. %U http://dblp.uni-trier.de/db/journals/mlcs/mlcs1.html#GiannottiPZ94 %V 1

@article{journals/mlcs/GiannottiPZ94, added-at = {2011-12-05T00:00:00.000+0100}, author = {Giannotti, Fosca and Pedreschi, Dino and Zaniolo, Carlo}, biburl = {https://www.bibsonomy.org/bibtex/2a91d7a419364e89702a0ec00b2530c61/dblp}, interhash = {6209fcb7c8ee4f15b5d5adfe4ab73569}, intrahash = {a91d7a419364e89702a0ec00b2530c61}, journal = {Meth. of Logic in CS}, keywords = {dblp}, number = 1, pages = {61-76}, timestamp = {2011-12-06T12:46:49.000+0100}, title = {Declarative Semantics for Pruning Operators in Logic Programming.}, url = {http://dblp.uni-trier.de/db/journals/mlcs/mlcs1.html#GiannottiPZ94}, volume = 1, year = 1994 }