Interpolation and SAT-Based Model Checking (2003)

by K L McMillan
Venue:In CAV. Pp