@TechReport{AIB201306,
  author      = "Marc Brockschmidt and Byron Cook and Carsten Fuhs",
  title       = "Better termination proving through cooperation",
  institution = "RWTH Aachen",
  year        = "2013",
  number      = "AIB-2013-06",
  month       = apr,
  url         = "http://aib.informatik.rwth-aachen.de/2013/2013-06.pdf"
}