R. Aziz, G. Chu, C. Muise, and P. Stuckey, “Stable Model Counting and Its Application in Probabilistic Logic Programming”, AAAI, vol. 29, no. 1, Mar. 2015.