@inproceedings{conf/lpnmr/EiterGL95,
  title = "Complexity Results for Abductive Logic Programming",
  author = "Thomas Eiter and Georg Gottlob and Nicola Leone",
  year = "1995",
  booktitle = "{Logic Programming and Nonmonotonic Reasoning, Third International Conference, LPNMR'95, Lexington, KY, USA, June 26-28, 1995,
Proceedings}",
  editor = "V. Wiktor Marek and Anil Nerode",
  isbn = "3-540-59487-6",
  pages = "1-14",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "928",
}