Katsumi Inoue Taisuke Sato Masakazu Ishihata Yoshitaka Kameya Hidetomo Nabeshima Evaluating Abductive Hypotheses using an EM Algorithm on BDDs. 810-815 2009 IJCAI http://ijcai.org/papers09/Papers/IJCAI09-139.pdf conf/ijcai/2009 db/conf/ijcai/ijcai2009.html#InoueSIKN09