@misc{indiciae499ac2ce4a67,
  title = {Complexity Classifications for Propositional Abduction in Post's Framework},
  author = {Nadia Creignou and Johannes Schmidt and Michael Thomas},
  year = {2010},
  url = {https://arxiv.org/abs/1006.4923},
  note = {Source identifier: 1006.4923}
}