Resolution and the integrality of satisfiability problems
scientific article; zbMATH DE number 977964