Inproceedings,

Declarative Semantics for Pruning Operators in Logic Programming.

, and .
LPNMR, page 27-37. (1990)

Meta data

Tags

Users

  • @dblp

Comments and Reviews