A finite state intersection approach to propositional satisfiability
scientific article; zbMATH DE number 6064531
scientific article