TY - CONF T1 - Declarative Semantics for Pruning Operators in Logic Programming T2 - LPNMR Y1 - 1990 A1 - Fosca Giannotti A1 - Dino Pedreschi JF - LPNMR ER -