Persistent and quasi-persistent lemmas in propositional model elimination
scientific article; zbMATH DE number 2069244