A rewriting approach to satisfiability procedures.
scientific article; zbMATH DE number 1967123
scientific article