Negations as hypotheses: An abductive foundation for logic programming (1991)

by P M Dung
Venue:In Proc. ICLP