LARA Labs 06 Slides: pptx, pdf Need for Reachability Weak Monadic Logic of One Successor Coming up in the future: Using Automata to Decide WS1S References Languages, Automata, and Logic, by Wolfgang Thomas The MONA Project
