Bibtex:FGMSTZ07

BibTex

<bibtex> @inproceedings{SAT07,

    author = {C. Fuhs and J. Giesl and A. Middeldorp and R. Thiemann and P. {Schneider-Kamp} and H. Zankl},
     title = {SAT Solving for Termination Analysis with Polynomial Interpretations},
 booktitle = {Proceedings of the 10th International Conference on Theory and Applications of Satisfiability Testing (SAT 2007)},
      year = {2007},
    series = {Lecture Notes in Computer Science},
    volume = {4501},
     pages = {340-354}

} </bibtex>