@inproceedings{conf/ijcai/EiterGL95,
  title = "Semantics and Complexity of Abduction from Default Theories",
  author = "Thomas Eiter and Georg Gottlob and Nicola Leone",
  year = "1995",
  booktitle = "{IJCAI} (1)",
  pages = "870-877",
}