Hierarchies of polynomially solvable satisfiability problems
scientific article; zbMATH DE number 1123700