@TechReport{LitovskyStaiger94,
  author =    "Igor Litovsky and Ludwig Staiger ",
  title =     "Finite acceptance of infinite words",
  institution = "RWTH Aachen",
  year =      "1994",
  number =    "AIB-17-1994",
  url =       "http://aib.informatik.rwth-aachen.de/1994/1994-17.ps.gz",
}