Declarative Semantics for Pruning Operators in Logic Programming
| Title | Declarative Semantics for Pruning Operators in Logic Programming |
| Publication Type | Conference Paper |
| Year of Publication | 1990 |
| Authors | Giannotti, F, Pedreschi, D |
| Conference Name | LPNMR |