Disjunctive Logic Programming, Constructivity and Strong Negation.

Heinrich Herre, David Pearce

Browse the full JELIA paper archive.