Interpolation and SAT-based model checking (2003)

by K L McMillan
Venue:In Proc. CAV, LNCS 2725