@TechReport{BMOG12,
  author =     "Marc Brockschmidt and Richard Musiol and Carsten Otto and J\"urgen Giesl",
  title =     "Automated Termination Proofs for Java Programs with Cyclic Data",
  institution =     "RWTH Aachen",
  year =     "2012",
  number =     "AIB-2012-06",
  month =     "April",
  url = "http://aib.informatik.rwth-aachen.de/2012/2012-06.pdf"
}