@article{journals/jacm/EiterG95,
  title = "The Complexity of Logic-Based Abduction",
  author = "Thomas Eiter and Georg Gottlob",
  year = "1995",
  journal = "{J. ACM}",
  number = "1",
  pages = "3-42",
  url = "http://www.informatik.uni-trier.de/~ley/db/journals/jacm/EiterG95.html",
  volume = "42",
  doi = "10.1145/200836.200838",
}