@article{LinkeSchaub1995,
  author    = {Linke, Thomas and Schaub, Torsten H.},
  title     = {Lemma handling in default logic theorem provers},
  isbn      = {3540601120},
  year      = {1995},
  language  = {en}
}
@article{LinkeSchaub1996,
  author    = {Linke, Thomas and Schaub, Torsten H.},
  title     = {Putting default logics in perspective},
  isbn      = {3-540-61708-6},
  year      = {1996},
  language  = {en}
}
@article{LinkeSchaub1997,
  author    = {Linke, Thomas and Schaub, Torsten H.},
  title     = {Towards a classification of default logic},
  year      = {1997},
  language  = {en}
}
@article{LinkeSchaub1998,
  author    = {Linke, Thomas and Schaub, Torsten H.},
  title     = {An approach to query-answering in Reiter's default logic and the underlying existence of extensions problem.},
  isbn      = {3-540-65141-1},
  year      = {1998},
  language  = {en}
}
@article{VolkmannLinkeWaschulziketal.1998,
  author    = {Volkmann, Gerald and Linke, Thomas and Waschulzik, Thomas and Ohmes, Rick and Schaub, Torsten H. 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{LinkeSchaub1999,
  author    = {Linke, Thomas and Schaub, Torsten H.},
  title     = {On bottom-up pre-processing techniques for automated default reasoning},
  isbn      = {3-540-66131-x},
  year      = {1999},
  language  = {en}
}
@article{LinkeSchaub2000,
  author    = {Linke, Thomas and Schaub, Torsten H.},
  title     = {Alternative foundations for Reiter's default logic.},
  issn      = {0004-3702},
  year      = {2000},
  language  = {en}
}
@book{Linke2000,
  author    = {Linke, Thomas},
  title     = {New foundations for automation of default reasoning},
  volume    = {237},
  publisher = {Akad. Verl.-Ges. Aka},
  address   = {Berlin},
  isbn      = {3-89838-237-0},
  pages     = {VII, 182 S.},
  year      = {2000},
  language  = {en}
}
@article{AngerKonczakLinke2001,
  author    = {Anger, Christian and Konczak, Kathrin and Linke, Thomas},
  title     = {A system for non-monotonic reasoning under answer set semantics},
  isbn      = {3-540-42593-4},
  year      = {2001},
  language  = {en}
}
@article{Linke2001,
  author    = {Linke, Thomas},
  title     = {Graph theoretical characterization and computation of answer sets},
  isbn      = {1-558-60777-3},
  issn      = {1045-0823},
  year      = {2001},
  language  = {en}
}
@article{Linke2001,
  author    = {Linke, Thomas},
  title     = {Graph theoretical characterization and computation of answer sets},
  year      = {2001},
  language  = {en}
}
@article{KoseWeckwerthLinkeetal.2001,
  author    = {Kose, F. and Weckwerth, Wolfram and Linke, Thomas and Fiehn, Oliver},
  title     = {Visualizing plant metabolomic correlation networks using clique-metabolite matrices},
  year      = {2001},
  language  = {en}
}
@article{RoessnerLuedemannBrustetal.2001,
  author    = {Roessner, Ute and Luedemann, A. and Brust, D. and Fiehn, Oliver and Linke, Thomas and Willmitzer, Lothar and Fernie, Alisdair R.},
  title     = {Metabolic profiling allows comprehensive phenotyping of genetically or environmentally modified plant systems},
  issn      = {1040-4651},
  year      = {2001},
  language  = {en}
}
@article{AngerKonczakLinke2002,
  author    = {Anger, Christian and Konczak, Kathrin and Linke, Thomas},
  title     = {NoMoRe: A system for non-monotonic reasoning with logic programs under answer set semantics},
  isbn      = {3-540-42254-4},
  year      = {2002},
  language  = {en}
}
@article{LinkeAngerKonczak2002,
  author    = {Linke, Thomas and Anger, Christian and Konczak, Kathrin},
  title     = {More on nomore},
  isbn      = {3-540-44190-5},
  year      = {2002},
  language  = {en}
}
@article{AngerKonczakLinke2002,
  author    = {Anger, Christian and Konczak, Kathrin and Linke, Thomas},
  title     = {NoMoRe: Non-monotonic reasoning with logic programs},
  isbn      = {3-540-44190-5},
  year      = {2002},
  language  = {en}
}
@article{LinkeAngerKonczak2002,
  author    = {Linke, Thomas and Anger, Christian and Konczak, Kathrin},
  title     = {More on nomore},
  year      = {2002},
  language  = {en}
}
@article{Linke2003,
  author    = {Linke, Thomas},
  title     = {Suitable graphs for answer set programming},
  issn      = {1613-0073},
  year      = {2003},
  language  = {en}
}
@article{KonczakLinkeSchaub2003,
  author    = {Konczak, Kathrin and Linke, Thomas and Schaub, Torsten H.},
  title     = {Graphs and colorings for answer set programming : abridged report},
  issn      = {1613-0073},
  year      = {2003},
  language  = {en}
}
@article{KonczakSchaubLinke2003,
  author    = {Konczak, Kathrin and Schaub, Torsten H. and Linke, Thomas},
  title     = {Graphs and colorings for answer set programming with prefernces : preliminary report},
  issn      = {1613-0073},
  year      = {2003},
  language  = {en}
}