Bibtex:SGST06: Difference between revisions
No edit summary |
m L Note/s/ in CS |
||
| Line 9: | Line 9: | ||
BOOKTITLE = {LOPSTR~'06}, | BOOKTITLE = {LOPSTR~'06}, | ||
YEAR = {2007}, | YEAR = {2007}, | ||
SERIES = {Lecture | SERIES = {Lecture Notes in Computer Science}, | ||
VOLUME = {4407}, | VOLUME = {4407}, | ||
PAGES = {177--193}, | PAGES = {177--193}, | ||
Revision as of 09:04, 31 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 Notes in Computer Science},
VOLUME = {4407},
PAGES = {177--193},
PUBLISHER = {Springer},
ADDRESS = {Heidelberg}
} </bibtex>