Safe reduction rules for weighted treewidth
scientific article; zbMATH DE number 5133110