@article{DBLP:journals/ai/LinkeS00,
  author = {Linke, Thomas and Schaub, Torsten},
  title = {Alternative foundations for Reiter's default logic},
  journal = {Artif. Intell.},
  volume = {124},
  number = {1},
  pages = {31--86},
  year = {2000}
}