F.  Giannotti and Pedreschi, D., ?Declarative Semantics for Pruning Operators in Logic Programming?, in LPNMR, 1990, pp. 27-37.