Predicate abstraction with minimum predicates (2003)

by S Chaki, E M Clarke, A Groce, O Strichman
Venue:In Correct Hardware Design and Verification Methods