Tree-width and the monadic quantifier hierarchy.
scientific article; zbMATH DE number 1965369
scientific article