Bibtex:GST06

BibTex

<bibtex> @inproceedings{IJCAR06,

 author        = "J. Giesl and P. Schneider-Kamp and R. Thiemann",
 title         = "AProVE 1.2: Automatic Termination Proofs in the Dependency Pair Framework", 
 booktitle     = "Proceedings IJCAR '06",
 publisher     = "Springer",
 series        = "LNAI 4130",
 pages         = "281-286",
 year          = "2006"

}

</bibtex>