David Poole. Abducing through negation as failure: stable models within the independent choice logic. Journal of Logic and Algebraic Programming, 44(1-3):5-35, 2000.
@article{Poole00:0, title = {Abducing through negation as failure: stable models within the independent choice logic}, author = {David Poole}, year = {2000}, tags = {logic}, researchr = {https://researchr.org/publication/Poole00%3A0}, cites = {0}, citedby = {0}, journal = {Journal of Logic and Algebraic Programming}, volume = {44}, number = {1-3}, pages = {5-35}, }