@article{journals/jacm/Gottlob95a,
  title = "Translating Default Logic into Standard Autoepistemic Logic",
  author = "Georg Gottlob",
  year = "1995",
  journal = "{J. ACM}",
  number = "4",
  pages = "711-740",
  url = "http://www.informatik.uni-trier.de/~ley/db/journals/jacm/Gottlob95a.html",
  volume = "42",
  doi = "10.1145/210332.210334",
}