@TechReport{HaenschSlaatsThomas09,
  author =	 "Paul H\"ansch and Michaela Slaats and Wolfgang Thomas",
  title =	 "Parametrized Regular Infinite Games and Higher-Order Pushdown Strategies",
  institution =	 "RWTH Aachen",
  year =	 "2009",
  number =	 "AIB-2009-18",
  month =	 sep,
  url =          "http://aib.informatik.rwth-aachen.de/2009/2009-18.ps.gz",
}