Interpolation with Decidable Fixpoint Logics.

Michael Benedikt, Balder ten Cate, Michael Vanden Boom

Browse the full LICS paper archive.