Interpolation in guarded fragments - Hoogland, Eva; Marx, Maarten (Inst. for Logic, Language and Computation, 2000)