Aziz, R.; Chu, G.; Muise, C.; Stuckey, P. Stable Model Counting and Its Application in Probabilistic Logic Programming. AAAI 2015, 29.