@article{BesnardSchaub1998,
  author    = {Besnard, Philippe and Schaub, Torsten},
  title     = {Signed systems for paraconsistent reasoning},
  year      = {1998},
  language  = {en}
}
@article{BrainGebserPuehreretal.2007,
  author    = {Brain, Martin and Gebser, Martin and P{\"u}hrer, J{\"o}rg and Schaub, Torsten and Tompits, Hans and Woltran, Stefan},
  title     = {"That is illogical, Captain!" : the debugging support tool spock for answer-set programs ; system description},
  year      = {2007},
  language  = {en}
}
@article{GebserKaufmannNeumannetal.2007,
  author    = {Gebser, Martin and Kaufmann, Benjamin and Neumann, Andr{\´e} and Schaub, Torsten},
  title     = {Conflict-driven answer set enumeration},
  isbn      = {978-3-540- 72199-4},
  year      = {2007},
  language  = {en}
}
@article{LinkeSchaub1996,
  author    = {Linke, Thomas and Schaub, Torsten},
  title     = {Putting default logics in perspective},
  isbn      = {3-540-61708-6},
  year      = {1996},
  language  = {en}
}
@article{LinkeSchaub1995,
  author    = {Linke, Thomas and Schaub, Torsten},
  title     = {Lemma handling in default logic theorem provers},
  isbn      = {3540601120},
  year      = {1995},
  language  = {en}
}
@article{GebserKaufmannNeumannetal.2007,
  author    = {Gebser, Martin and Kaufmann, Benjamin and Neumann, Andr{\´e} and Schaub, Torsten},
  title     = {Conflict-driven answer set solving},
  isbn      = {978-1-57735-323-2},
  year      = {2007},
  language  = {en}
}
@article{BesnardSchaub1993,
  author    = {Besnard, Philippe and Schaub, Torsten},
  title     = {A context-based framework for default logics},
  isbn      = {0-262-51071-5},
  year      = {1993},
  language  = {en}
}
@article{GebserGharibSchaub2007,
  author    = {Gebser, Martin and Gharib, Mona and Schaub, Torsten},
  title     = {Incremental answer sets and their computation},
  year      = {2007},
  language  = {en}
}
@article{GebserSchaub2007,
  author    = {Gebser, Martin and Schaub, Torsten},
  title     = {Generic tableaux for answer set programming},
  year      = {2007},
  language  = {en}
}
@article{DelgrandeSchaub2007,
  author    = {Delgrande, James Patrick and Schaub, Torsten},
  title     = {A consistency-based framework for merging knowledge bases},
  issn      = {1570-8683},
  year      = {2007},
  language  = {en}
}