"Selfless Interpolation for Infinite-State Model Checking."

Tanja Schindler, Dejan Jovanovic (2018)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics