Walther91'

BibTeX

@book{DBLP:books/vi/Walther91,
  author    = {Christoph Walther},
  title     = {Automatisierung von Terminierungsbeweisen},
  publisher = {Vieweg},
  year      = {1991},
  isbn      = {3-528-04771-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}