Declarative Semantics for Pruning Operators in Logic Programming

Fosca Giannotti, Dino Pedreschi. Declarative Semantics for Pruning Operators in Logic Programming. In LPNMR. pages 27-37, 1990.

Possibly Related Publications

The following publications are possibly variants of this publication: