Bibtex:Giesl04

BibTex

<bibtex> @INPROCEEDINGS{Giesl04automatedtermination,

   author = {Jürgen Giesl and René Thiemann and Peter Schneider-kamp and Stephan Falke},
   title = {Automated Termination Proofs with AProVE},
   booktitle = {In RTA’2004: Rewriting Techniques and Applications, volume 3091 of LNCS},
   year = {2004},
   pages = {210--220},
   publisher = {Springer}

} </bibtex>