@article{journals/tcs/EiterGL97,
  title = "Abduction from Logic Programs: Semantics and Complexity",
  author = "Thomas Eiter and Georg Gottlob and Nicola Leone",
  year = "1997",
  journal = "Theor. Comput. Sci.",
  number = "1-2",
  pages = "129-177",
  volume = "189",
  doi = "10.1016/S0304-3975(96)00179-X",
}