@Article{         Piterman:LMCS:2007,
  Author        = "Piterman, Nir",
  date-added    = "2012-05-21 19:24:54 +0200",
  date-modified = "2021-02-01 12:09:34 +0100",
  Journal       = "Logical Methods in Computer Science",
  Keywords      = "automata theory",
  Number        = "3",
  Pages         = "1--21",
  Title         = "From Nondeterministic Buchi and Streett Automata to Deterministic Parity Automata",
  Volume        = "3",
  Year          = "2007",
  bdsk-url-1    = "http://www.lmcs-online.org/ojs/viewarticle.php?id=247\&layout=abstract",
  File          = "From Nondeterministic Buchi and Streett Automata to Deterministic Parity Automata - Piterman (0) (0) - a - a - e.pdf"
}

@Article{ Piterman:LMCS:2007, Author = "Piterman, Nir", date-added = "2012-05-21 19:24:54 +0200", date-modified = "2021-02-01 12:09:34 +0100", Journal = "Logical Methods in Computer Science", Keywords = "automata theory", Number = "3", Pages = "1--21", Title = "From Nondeterministic Buchi and Streett Automata to Deterministic Parity Automata", Volume = "3", Year = "2007", bdsk-url-1 = "http://www.lmcs-online.org/ojs/viewarticle.php?id=247\&layout=abstract", File = "From Nondeterministic Buchi and Streett Automata to Deterministic Parity Automata - Piterman (0) (0) - a - a - e.pdf" }