@TechReport{AIB-2011-04-JHKN11,
  author =       "Christina Jansen and Jonathan Heinen and Joost-Pieter Katoen and Thomas Noll",
  title =        "A Local Greibach Normal Form for Hyperedge Replacement Grammars",
  institution =  "RWTH Aachen",
  year =         "2011",
  number =       "AIB-2011-04",
  month =        jan,
  keywords =     "hyperedge replacement grammars, heap abstraction, Greibach Normal Form",
  url =          "http://aib.informatik.rwth-aachen.de/2011/2011-04.pdf",
}