@TechReport{satpolo07,
  author = "Carsten Fuhs, Jürgen Giesl, Aart Middeldorp, Peter Schneider-Kamp, René Thiemann, and Harald Zankl",
  title = "SAT Solving for Termination Analysis with Polynomial Interpretations",
  institution = "RWTH Aachen",
  year = "2007",
  number = "AIB-2007-02",
  month = jan,
  url = "http://aib.informatik.rwth-aachen.de/2007/2007-02.ps.gz",
}