1. Lecture Notes in Computer Science;T Babiak,2015
2. Blahoudek, F.: Translation of an LTL fragment to deterministic Rabin and Streett automata. Master’s thesis, Masarykova Univerzita (2012)
3. Boker, U.: Word-automata translations (2010).
http://www.faculty.idc.ac.il/udiboker/automata
4. Boker, U.: On the (in)succinctness of muller automata. In: CSL, pp. 12:1–12:16 (2017)
5. Boker, U.: Rabin vs. Streett automata. In: FSTTCS, pp. 17:1–17:15 (2017)