T. Eiter, K. Makino: "Generating all Abductive Explanations for Queries on Propositional Horn Theories"; 2003.