Negation as hypotheses: an abductive foundation for logic programming, in (1991)

by P Dung
Venue:Proc. Internat. Conf on Logic Programming (ICLP’91