@TechReport{StroederEtAl-AIB2010-12,
  author = "T.\ Str\"oder and P.\ Schneider-Kamp and J.\ Giesl",
  title = "Dependency Triples for Improving Termination Analysis of Logic Programs with Cut",
  institution = "RWTH Aachen",
  year = "2010",
  number = "AIB-2010-12",
  month = "June",
  url ="http://aib.informatik.rwth-aachen.de/2010/2010-12.pdf"
}