Tree-width for first order formulae
scientific article; zbMATH DE number 6021349