@Bibtex-file{Ai/deduction.bib,
  title =        "Bibliography on Automated Deduction and its
                 Applications",
  author =       "Reiner H{\"a}hnle",
  email =        "reiner@cs.chalmers.se",
  address =      "Chalmers Technical University\\ Department of
                 Computing Science\\ S-412 96 Gothenburg\\ Sweden",
  supported =    "yes",
  copyright =    "Reiner H{\"a}hnle",
  abstract =     "Bibliography on automated deduction, in particular in
                 non-classical logics and tableau methods; many-valued
                 logic",
  keywords =     "deduction, logic, semantic tableaux",
}