A perspective on certain polynomial-time solvable classes of satisfiability
scientific article; zbMATH DE number 1878518
scientific article