@PhdThesis{       Fritz,
  Author        = "Fritz, Carsten",
  date-added    = "2012-04-02 17:35:48 +0200",
  date-modified = "2012-04-02 17:38:26 +0200",
  Keywords      = "alternating automata and quotienting and delayed simulation and fair simulation and parity automata and parity games",
  Title         = "Simulation-Based Simplification of omega-Automata",
  Year          = "2005",
  File          = "Simulation-Based Simplification of omega-Automata - Fritz (0) (0) - a - a - v.pdf"
}

@PhdThesis{ Fritz, Author = "Fritz, Carsten", date-added = "2012-04-02 17:35:48 +0200", date-modified = "2012-04-02 17:38:26 +0200", Keywords = "alternating automata and quotienting and delayed simulation and fair simulation and parity automata and parity games", Title = "Simulation-Based Simplification of omega-Automata", Year = "2005", File = "Simulation-Based Simplification of omega-Automata - Fritz (0) (0) - a - a - v.pdf" }