David Poole The Independent Choice Logic and Beyond. 222-243 2008 Probabilistic Inductive Logic Programming http://dx.doi.org/10.1007/978-3-540-78652-8_8 conf/ilp/2008p db/conf/ilp/lncs4911.html#Poole08