@book{AllThat, 
  author    = {Franz Baader and
               Tobias Nipkow},
  title     = {Term rewriting and all that},
  publisher = {Cambridge University Press},
  year      = {1998}
}

@inproceedings{isafor,
        Author = {R.~Thiemann and C.~Sternagel},
        Booktitle = {TPHOLs'09},
        Pages = {452--468},
        Series = {LNCS},
        Title = {Certification of Termination Proofs using \ceta},
        Volume = 5674,
        Year = 2009}

