Propositional Abduction with Implicit Hitting Sets | Publicación