Fosca Giannotti Dino Pedreschi Carlo Zaniolo Declarative Semantics for Pruning Operators in Logic Programming. 61-76 1994 1 Meth. of Logic in CS 1 db/journals/mlcs/mlcs1.html#GiannottiPZ94