@Misc{            casares2023muller,
  Author        = {Casares, Antonio and Colcombet, Thomas and Fijalkow, Nathana{\"e}l and Lehtinen, Karoliina},
  ArchivePrefix = "arXiv",
  date-added    = "2023-05-09 11:59:58 +0200",
  date-modified = "2023-05-09 11:59:58 +0200",
  EPrint        = "2305.04323",
  PrimaryClass  = "cs.FL",
  Title         = "From Muller to Parity and Rabin Automata: Optimal Transformations Preserving (History-)Determinism",
  Year          = "2023",
  File          = "From Muller to Parity and Rabin Automata- Optimal Transformations Preserving (History-)Determinism - 2305.04323.pdf"
}

@Misc{ casares2023muller, Author = {Casares, Antonio and Colcombet, Thomas and Fijalkow, Nathana{\"e}l and Lehtinen, Karoliina}, ArchivePrefix = "arXiv", date-added = "2023-05-09 11:59:58 +0200", date-modified = "2023-05-09 11:59:58 +0200", EPrint = "2305.04323", PrimaryClass = "cs.FL", Title = "From Muller to Parity and Rabin Automata: Optimal Transformations Preserving (History-)Determinism", Year = "2023", File = "From Muller to Parity and Rabin Automata- Optimal Transformations Preserving (History-)Determinism - 2305.04323.pdf" }