@inproceedings{DBLP:conf/kr/EiterL00,
  title = "Complexity Results for Default Reasoning from Conditional Knowledge Bases",
  author = "Thomas Eiter and Thomas Lukasiewicz",
  year = "2000",
  booktitle = "Proceedings of the 7th International Conference on the Principles of Knowledge Representation and Reasoning, KR 2000, Breckenridge, Colorado, USA, April 11-15, 2000",
  editor = "Anthony G. Cohn and Fausto Giunchiglia and Bart Selman",
  pages = "62-73",
  publisher = "Morgan Kaufmann",
  url = "http://www.kr.tuwien.ac.at/staff/lukasiew/kr00.ps.gz",
}