Bibtex:SGST06: Difference between revisions
No edit summary |
No edit summary |
||
| Line 15: | Line 15: | ||
ADDRESS = {Heidelberg} | ADDRESS = {Heidelberg} | ||
} | } | ||
</bibtex> | </bibtex><!-- If you want to add some personal data to the reference page, you can do so after this comment. --> | ||
<!-- If you want to add some personal data to the reference page, you can do so after this comment. --> | |||
Revision as of 11:37, 30 March 2008
BibTex
<bibtex> @inproceedings{LOPSTR06,
AUTHOR = {P. Schneider-Kamp and J. Giesl and A. Serebrenik and R. Thiemann},
TITLE = {Automated Termination Analysis for Logic Programs by Term Rewriting},
BOOKTITLE = {LOPSTR~'06},
YEAR = {2007},
SERIES = {Lecture Note in Computer Science},
VOLUME = {4407},
PAGES = {177--193},
PUBLISHER = {Springer},
ADDRESS = {Heidelberg}
} </bibtex>