On tseitin formulas, read-once branching programs and treewidth
scientific article; zbMATH DE number 7377746
scientific article