Automata for the verification of monadic second-order graph properties
scientific article; zbMATH DE number 6160216
scientific article