Bibtex:TS09

BibTex

<bibtex> @inproceedings{TS09,

 author        = "R. Thiemann and C. Sternagel",
 title         = "Certification of Termination Proofs using CeTA", 
 booktitle     = "Proceedings TPHOLs '09",
 publisher     = "Springer",
 series        = "LNCS 5674",
 pages         = "452-468",
 year          = "2009"

}

</bibtex>