Bibtex:SGST06

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>