Practical algorithms for MSO model-checking on tree-decomposable graphs
scientific article; zbMATH DE number 6372046
scientific article