Thomas Eiter Kazuhisa Makino On Computing all Abductive Explanations. 62-67 2002 AAAI/IAAI db/conf/aaai/aaai2002.html#EiterM02