BDD-Driven First-Order Satis Procedures (2002)

by D Deharbe, S Ranise