EasyChair Smart Slide
Selfless Interpolation for Infinite-State Model Checking
Selfless Interpolation for Infinite-State Model Checking