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

by P M Dung
Venue:In International Conference on Logic Programming