https://123dok.net/document/y6edgnoz-bdd-driven-first-order-satisfiability-procedures-extended-version.html