A note about \(k\)-DNF resolution
scientific article; zbMATH DE number 6889956
scientific article