@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}
}
