The Interpolant Existence Problem for Weak K4 and Difference Logic.

Agi Kurucz, Frank Wolter, Michael Zakharyaschev

Browse the full AiML paper archive.