שליחת רשומה: From Muller to Parity and Rabin Automata: Optimal Transformations Preserving (History) Determinism