@TechReport{CodishEtAl-AIB2010-14,
  author = "M.\ Codish and C.\ Fuhs and J.\ Giesl and P.\ Schneider-Kamp",
  title = "Lazy Abstraction for Size-Change Termination",
  institution = "RWTH Aachen",
  year = "2010",
  number = "AIB-2010-14",
  month = aug,
  url = "http://aib.informatik.rwth-aachen.de/2010/2010-14.pdf"
}