Computational complexity of some restricted instances of 3-SAT
scientific article; zbMATH DE number 5142435