Chitta Baral Michael Gelfond J. Nelson Rushton Probabilistic reasoning with answer sets. 57-144 2009 9 TPLP 1 http://dx.doi.org/10.1017/S1471068408003645 db/journals/tplp/tplp9.html#BaralGR09