@book{Linke2000,
  author    = {Thomas Linke},
  title     = {New foundations for automation of default reasoning},
  volume    = {237},
  isbn      = {3-89838-237-0},
  year      = {2000},
}