Michael Wachter Rolf Haenni Logical Compilation of Bayesian Networks with Discrete Variables. 536-547 2007 conf/ecsqaru/2007 ECSQARU http://dx.doi.org/10.1007/978-3-540-75256-1_48 db/conf/ecsqaru/ecsqaru2007.html#WachterH07