TY  - RPRT
TI  - Deterministic Automata for the (F,G)-fragment of LTL
AU  - Jan Křetínský
AU  - Javier Esparza
PY  - 2012
UR  - https://arxiv.org/abs/1204.5057
ID  - 1204.5057
ER  -