@inproceedings{conf/ecai/Gottlob92,
  title = "The Power of Beliefs or Translating Default Logic into Standard Autoepistemic Logic",
  author = "Georg Gottlob",
  year = "1994",
  booktitle = "{Foundation of Knowledge Representation and Reasoning (the book grew out of an ECAI-92 workshop)}",
  editor = "Gerhard Lakemeyer and Bernhard Nebel",
  isbn = "3-540-58107-3",
  pages = "133-144",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "810",
}