@inproceedings{conf/fct/EiterG97,
  title = "The Complexity Class Theta$_{2}$$^{p}$: Recent Results and Applications in AI and Modal Logic",
  author = "Thomas Eiter and Georg Gottlob",
  year = "1997",
  booktitle = "{Fundamentals of Computation Theory, 11th International Symposium, FCT '97, Krak{\'o}w, Poland, September 1-3, 1997, Proceedings}",
  editor = "Bogdan S. Chlebus and Ludwik Czaja",
  isbn = "3-540-63386-3",
  pages = "1-18",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "1279",
}