@misc{indiciaeb0e1efac7f69, title = {Complexity of Propositional Abduction for Restricted Sets of Boolean Functions}, author = {Nadia Creignou and Johannes Schmidt and Michael Thomas}, year = {2010}, url = {https://arxiv.org/abs/0912.3134}, note = {Source identifier: 0912.3134} }