LARA

Logic and Automata: Deciding Weak MSOL over Strings and Trees

Additional material