@TechReport{SchneiderKampEtAl-AIB1010,
  author = "P.\ Schneider-Kamp and J.\ Giesl and T.\ Str\"oder and A.\ Serebrenik and R.\ Thiemann",
  title = "Automated Termination Analysis of Logic Programs with Cut",
  institution = "RWTH Aachen",
  year = "2010",
  number = "AIB-2010-10",
  month = "April",
  url ="http://aib.informatik.rwth-aachen.de/2010/2010-10.pdf"
}