Inproceedings,

On Constructive Negation for Disjunctive Logic Programs.

.
NACLP, page 704-718. MIT Press, (1990)

Meta data

Tags

Users

  • @dblp

Comments and Reviews