A Compositional and Unified Translation of LTL into ω-Automata by Benedikt Seidl and Salomon Sickert Apr 16
Decision Procedures for MSO on Words Based on Derivatives of Regular Expressions by Dmitriy Traytel and Tobias Nipkow Jun 12