@inproceedings{conf/lpar/EiterG00,
  title = "On the Complexity of Theory Curbing",
  author = "Thomas Eiter and Georg Gottlob",
  year = "2000",
  booktitle = "{Logic for Programming and Automated Reasoning, 7th International Conference, LPAR 2000, Reunion Island, France, November 11-12, 2000, Proceedings}",
  editor = "Michel Parigot and Andrei Voronkov",
  pages = "1-19",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  url = "http://link.springer.de/link/service/series/0558/bibs/1955/19550001.htm",
  volume = "1955",
}