Theory and Applications of Satisfiability Testing
scientific article; zbMATH DE number 5586633