Negations as Hypotheses: An Abductive Foundation for Logic Programming.

Phan Minh Dung Negations as Hypotheses: An Abductive Foundation for Logic Programming. 3-17 1991 ICLP db/conf/iclp/iclp91.html#Dung91