@TechReport{Schneider-Kamp08,
  author =	 "Peter Schneider-Kamp",
  title =	 "Static Termination Analysis for Prolog using Term Rewriting and SAT Solving",
  institution =	 "RWTH Aachen",
  year =	 "2008",
  number =	 "AIB-2008-17",
  month =	 dec,
  url =          "http://aib.informatik.rwth-aachen.de/2008/2008-17.pdf",
}