Fosca Giannotti, Dino Pedreschi. Declarative Semantics for Pruning Operators in Logic Programming. In LPNMR. pages 27-37, 1990.
@inproceedings{GiannottiP90, title = {Declarative Semantics for Pruning Operators in Logic Programming}, author = {Fosca Giannotti and Dino Pedreschi}, year = {1990}, tags = {semantics, logic programming, programming, logic}, researchr = {https://researchr.org/publication/GiannottiP90}, cites = {0}, citedby = {0}, pages = {27-37}, booktitle = {LPNMR}, }