@article{LinkeSchaub2000,
  author    = {Linke, Thomas and Schaub, Torsten},
  title     = {Alternative foundations for Reiter's default logic.},
  issn      = {0004-3702},
  year      = {2000},
  language  = {en}
}
@book{OPUS4-18498,
  title     = {Proceedings of the Fifth Dutch German Workshop on Nonmonotonic Reasoning Techniques and their Applications, DGNMR'2001, Potsdam, 4. - 6. April 2001},
  editor    = {Brewka, Gerhard and Witteveen, Cees and Schaub, Torsten},
  address   = {Potsdam},
  year      = {2001},
  language  = {en}
}
@article{VolkmannLinkeWaschulziketal.1998,
  author    = {Volkmann, Gerald and Linke, Thomas and Waschulzik, Thomas and Ohmes, Rick and Schaub, Torsten and Wischnewsky, M.},
  title     = {HExProSA - ein hybrides Expertensystem zur Prozeßkontrolle und St{\"o}rfallanalyse von Abwasserbehandlungsanlagen : Erfahrungen bei der Evaluierung eines Prototypen},
  year      = {1998},
  language  = {de}
}
@article{BenhammadiNicolasSchaub1998,
  author    = {Benhammadi, Farid and Nicolas, Pascal and Schaub, Torsten},
  title     = {Extension calculus and query answering in prioritized default logic},
  isbn      = {3-540- 64993-X},
  year      = {1998},
  language  = {en}
}
@article{BenhammadiNicolasSchaub1998,
  author    = {Benhammadi, Farid and Nicolas, Pascal and Schaub, Torsten},
  title     = {Extension calculus and query answering in prioritized default logic},
  isbn      = {3-540-64993-X},
  year      = {1998},
  language  = {en}
}
@article{DelgrandeSchaub1998,
  author    = {Delgrande, James Patrick and Schaub, Torsten},
  title     = {Reasoning with sets of preferences in default logic},
  isbn      = {3-540- 65271-x},
  year      = {1998},
  language  = {en}
}
@article{BibelBrueningOttenetal.1998,
  author    = {Bibel, Wolfgang and Br{\"u}ning, Stefan and Otten, Jens and Rath, Thomas and Schaub, Torsten},
  title     = {Compressions and extensions},
  year      = {1998},
  language  = {en}
}
@article{BesnardSchaub1998,
  author    = {Besnard, Philippe and Schaub, Torsten},
  title     = {Characterization of non-monotone non-constructive systems},
  issn      = {1012-2443},
  year      = {1998},
  language  = {en}
}
@article{BesnardSchaub1998,
  author    = {Besnard, Philippe and Schaub, Torsten},
  title     = {Signed systems for paraconsistent reasoning},
  issn      = {0168-7433},
  year      = {1998},
  language  = {en}
}
@article{SchaubBruening1998,
  author    = {Schaub, Torsten and Br{\"u}ning, Stefan},
  title     = {Prolog technology for default reasoning : proof theory and compilation techniques},
  year      = {1998},
  language  = {en}
}