@article{LinkeSchaub2000,
  author    = {Thomas Linke and Torsten H. Schaub},
  title     = {Alternative foundations for Reiter's default logic.},
  year      = {2000},
}