Eva Hoogland Maarten Marx Interpolation and Definability in Guarded Fragments. 373-409 2002 70 Studia Logica 3 db/journals/sLogica/sLogica70.html#HooglandM02