Fast LTL to Büchi Automata Translation. - Paul Gastin; Denis Oddoux (CAV, 2001)

LTL with Past and Two-Way Very-Weak Alternating Automata. - Paul Gastin; Denis Oddoux (MFCS, 2003)