Fly-automata for checking monadic second-order properties of graphs of bounded tree-width
scientific article; zbMATH DE number 6639861
scientific article