@TechReport{BoerstlerMoenckeWilhelm87,
  author =    {J\"urgen Bo\"rstler and Ulrich M\"oncke and Reinhard Wilhelm},
  title =     "Table compression for tree automata",
  institution = "RWTH Aachen",
  year =      "1987",
  number =    "AIB-12-1987",
  url =       "http://aib.informatik.rwth-aachen.de/1987/1987-12.ps.gz",
}