Selfless Interpolation for Infinite-State Model Checking.

Tanja Schindler, Dejan Jovanovic

Browse the full VMCAI paper archive.