Declarative Semantics for Pruning Operators in Logic Programming.

Fosca Giannotti, Dino Pedreschi

Browse the full LPNMR paper archive.