T. Eiter, K. Makino: "On Computing all Abductive Explanations (INFSYS RR-1843-02-04)"; Report for Institut f. Informationssysteme, TU Wien; 2002.