@article{journals/ai/EiterGL97,
  title = "Semantics and Complexity of Abduction from Default Theories",
  author = "Thomas Eiter and Georg Gottlob and Nicola Leone",
  year = "1997",
  journal = "Artif. Intell.",
  number = "1-2",
  pages = "177-223",
  volume = "90",
  doi = "10.1016/S0004-3702(96)00040-9",
}