Inproceedings,

A Bottom-up Semantics for Constructive Negation.

, , and .
ICLP, page 520-534. MIT Press, (1994)

Meta data

Tags

Users

  • @dblp

Comments and Reviews