Effective interpolation and preservation in guarded logics.

Michael Benedikt, Balder ten Cate, Michael Vanden Boom

Browse the full CSL paper archive.