View source for Bibtex:SGST06

[[Category:Bibtex]]
[[Category:BibtexNews]]    <!-- remove this line if this is not a new publication -->
== BibTex ==
<bibtex>
<!-- Please add the BibTeX data below this comment. -->
@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>


<!-- If you want to add some personal data to the reference page, you can do so after this comment. -->