David Poole Abducing through negation as failure: stable models within the independent choice logic. 5-35 2000 44 J. Log. Program. 1-3 db/journals/jlp/jlp44.html#Poole00