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.

Abstract

Abstract is missing.