Declarative Semantics for Pruning Operators in Logic Programming.

Fosca Giannotti Dino Pedreschi Declarative Semantics for Pruning Operators in Logic Programming. 27-37 1990 LPNMR db/conf/lpnmr/lpnmr1990.html#GiannottiP90