LARA

This is an old revision of the document!


Logic and Automata: Deciding MSOL over Strings and Trees

Additional material