http://termination-portal.org/mediawiki/index.php?action=history&feed=atom&title=Bibtex%3AGST06Bibtex:GST06 - Revision history2026-05-13T09:23:13ZRevision history for this page on the wikiMediaWiki 1.34.2http://termination-portal.org/mediawiki/index.php?title=Bibtex:GST06&diff=774&oldid=prevFuhs: added IJCAR'06 paper on AProVE2009-05-13T20:55:52Z<p>added IJCAR'06 paper on AProVE</p>
<p><b>New page</b></p><div>[[Category:Bibtex| ]]<br />
[[Category:BibtexNews| ]] <!-- remove this line if this is not a new publication --><br />
== BibTex ==<br />
<!-- Please add the BibTeX data below this comment. --><br />
<bibtex><br />
@inproceedings{IJCAR06,<br />
author = "J. Giesl and P. Schneider-Kamp and R. Thiemann",<br />
title = "AProVE 1.2: Automatic Termination Proofs in the Dependency Pair Framework", <br />
booktitle = "Proceedings IJCAR '06",<br />
publisher = "Springer",<br />
series = "LNAI 4130",<br />
pages = "281-286",<br />
year = "2006"<br />
}<br />
<br />
</bibtex><!-- If you want to add some additional information to the reference page, you can do so after this comment. --></div>Fuhs