Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification - Beyer, Dirk (arXiv.org)