@Article{         BabiakBlahoudekKretinskyStrejcek,
  Author        = {Babiak, Tom{\'a}{\v s} and Blahoudek, Franti{\v s}ek and K{\v r}et{\'\i}nsk{\'y}, Mojm{\'\i}r and Strej{\v c}ek, Jan},
  date-added    = "2013-07-22 08:28:09 +0000",
  date-modified = "2013-07-22 08:28:09 +0000",
  EPrint        = "1306.4636",
  Month         = "06",
  Title         = {Effective Translation of LTL to Deterministic Rabin Automata: Beyond the (F,G)-Fragment},
  URL           = "http://arxiv.org/abs/1306.4636",
  Year          = "2013",
  bdsk-url-1    = "http://arxiv.org/abs/1306.4636"
}

@Article{ BabiakBlahoudekKretinskyStrejcek, Author = {Babiak, Tom{\'a}{\v s} and Blahoudek, Franti{\v s}ek and K{\v r}et{\'\i}nsk{\'y}, Mojm{\'\i}r and Strej{\v c}ek, Jan}, date-added = "2013-07-22 08:28:09 +0000", date-modified = "2013-07-22 08:28:09 +0000", EPrint = "1306.4636", Month = "06", Title = {Effective Translation of LTL to Deterministic Rabin Automata: Beyond the (F,G)-Fragment}, URL = "http://arxiv.org/abs/1306.4636", Year = "2013", bdsk-url-1 = "http://arxiv.org/abs/1306.4636" }