Nadia Creignou Johannes Schmidt 0001 Michael Thomas 0001 Complexity of Propositional Abduction for Restricted Sets of Boolean Functions http://arxiv.org/abs/0912.3134 2009 CoRR abs/0912.3134 db/journals/corr/corr0912.html#abs-0912-3134