Bibtex:SGST06

<bibtex>

@inproceedings{LOPSTR06,

 AUTHOR    = {P. Schneider-Kamp and J. Giesl and A. Serebrenik and R. Thiemann},
 TITLE     = Template:Automated Termination Analysis for Logic Programs by Term Rewriting,
 BOOKTITLE = {LOPSTR~'06},
 YEAR      = {2007},
 SERIES    = lncs,
 VOLUME    = {4407},
 PAGES     = {177--193}

}

</bibtex>