Reference:

Jan Kretinsky and Ruslan Ledesma-Garza. Rabinizer 2: Small deterministic automata for LTLGU. In Hung and Ogawa, pages 446–450.

Suggested BibTeX entry:

@inproceedings{DBLP:confatvaKretinskyL13,
    author = {Jan Kretinsky and Rusl{a}n Ledesma-Garza},
    booktitle = {ATVA},
    editor = {Dang Van Hung and Mizuhito Ogawa},
    pages = {446-450},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    title = {Rabinizer 2: Small Deterministic Automata for {LTL$\backslash$GU}},
    volume = {8172},
    year = {2013}
}