@book{BaaderNipkow,
  author={Franz Baader and Tobias Nipkow},
  title={Term Rewriting and All That},
  publisher={Cambridge University Press},
  year=1999,
  month=aug,
  ISBN={0-521-77920-0},
}

@phdthesis{Sternagel2010,
  author={Christian Sternagel},
  title={Automatic Certification of Termination Proofs},
  school={University of Innsbruck},
  address={Institute of Computer Science},
  year=2010,
  note={not finished yet},
}

@inproceedings{CeTA,
  author={Ren{\'e} Thiemann and Christian Sternagel},
  title={Certification of Termination Proofs Using \ceta},
  booktitle={22nd International Conference on Theorem Proving in Higher
  Order Logics, TPHOLs 2009},
  editor={Stefan Berghofer and Tobias Nipkow and Christian Urban and
  Makarius Wenzel},
  year=2009,
  pages={452--468},
  publisher={Springer},
  ISBN={978-3-642-03358-2},
}
