Stable Model Counting and Its Application in Probabilistic Logic Programming | Read Paper on Bytez