@inproceedings{conf/ijcai/Gottlob93,
  title = "The Power of Beliefs or Translating Default Logic into Standard Autoepistemic Logic",
  author = "Georg Gottlob",
  year = "1993",
  booktitle = "{IJCAI}",
  pages = "570-577",
}