Abduction is a backward chaining inference, finding the best explanations of an observation with regard to a knowledge base in a two-steps process: i) hypotheses generation, and ii) explanations selection according to a minimality criterion. A propositional abduction problem P is a tuple 〈V,O, T 〉 [3], where V is a set of variables, T denotes the background knowledge of an application domain, O...