A short note on some tractable cases of the satisfiability problem.
scientific article; zbMATH DE number 1853103