Reference:

Jan Kretinsky and Javier Esparza. Deterministic automata for the (F,G)-fragment of LTL. Technical Report abs/1106.1424, arXiv.org, 2012.

Suggested BibTeX entry:

@techreport{DBLP:confcavKretinskyE12-techrep,
    author = {Jan Kretinsky and Javier Esparza},
    institution = {arXiv.org},
    number = {abs/1106.1424},
    title = {Deterministic Automata for the ({F},{G})-fragment of {LTL}},
    year = {2012}
}