BaazFS01'

BibTeX

@incollection{DBLP:books/el/RV01/BaazFS01,
  author    = {Matthias Baaz and
               Christian G. Ferm{\"u}ller and
               Gernot Salzer},
  title     = {Automated Deduction for Many-Valued Logics},
  booktitle = {Handbook of Automated Reasoning},
  year      = {2001},
  pages     = {1355-1402},
  crossref  = {DBLP:books/el/RobinsonV01},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@book{DBLP:books/el/RobinsonV01,
  editor    = {John Alan Robinson and
               Andrei Voronkov},
  title     = {Handbook of Automated Reasoning (in 2 volumes)},
  publisher = {Elsevier and MIT Press},
  year      = {2001},
  isbn      = {0-444-50813-9, 0-262-18223-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}