@conference {DBLP:conf/lpnmr/GiannottiP90, title = {Declarative Semantics for Pruning Operators in Logic Programming}, booktitle = {LPNMR}, year = {1990}, pages = {27-37}, author = {Fosca Giannotti and Dino Pedreschi} }