Constructive Negation by Pruning

François Fages. Constructive Negation by Pruning. Journal of Logic and Algebraic Programming, 32(2):85-118, 1997.

Possibly Related Publications

The following publications are possibly variants of this publication: