@article{DBLP:journals/jlp/Poole00,
author = {David Poole},
title = {Abducing through negation as failure: stable models within
the independent choice logic},
journal = {J. Log. Program.},
volume = {44},
number = {1-3},
year = {2000},
pages = {5-35},
ee = {http://dx.doi.org/10.1016/S0743-1066(99)00071-0},
bibsource = {DBLP, http://dblp.uni-trier.de}
}