@TechReport{BMOG12,
  author      = "Marc Brockschmidt and Fabian Emmes and Stephan Falke and Carsten Fuhs and J\"urgen Giesl",
  title       = "Alternating Runtime and Size Complexity Analysis of Integer Programs",
  institution = "RWTH Aachen",
  year        = "2013",
  number      = "AIB-2013-12",
  month       = "October",
  url         = "http://aib.informatik.rwth-aachen.de/2013/2013-12.pdf"
}