@Bibtex-file{Theory/LuFG.RWTH-Aachen.bib,
  title =        "Bibliography of the Lu{FG} Theoretical Computer
                 Science, {RWTH} Aachen",
  author =       "Stephan Tobies",
  email =        "tobies@informatik.rwth-aachen.de",
  address =      "LuFG Theoretical Computer Science\\ RWTH Aachen\\
                 Ahornstr. 55\\ 52074 Aachen\\ Germany",
  supported =    "yes",
  copyright =    "All right reserved.",
  abstract =     "This bibliography contains references to all
                 publications of members of the LuFG Theoretical
                 Computer Science, RWTH Aachen",
  keywords =     "Logic, Description Logic, Knowledge Representation,
                 Rewriting, Unification",
}