1. Areces C., Blackburn P., Marx M.: Repairing the interpolation theorem in quantified modal logic. Ann. Pure Appl. Logic 124(1-3), 287–299 (2003)
2. Areces, C., Hoogland, E., de Jongh, D.: Interpolation, definability and fixed points in interpretability logics. In: Advances in Modal Logic, vol. 119 of CSLI Lecture Notes, pp. 35–58. CSLI Publications, Stanford (2001)
3. Beklemishev, L.D.: On the Craig interpolation and the fixed point properties for GLP. In: Proofs, Categories and Computations, vol. 13 of Tributes, pp. 49–60. College Publications, London (2010)
4. Beth, E.W.: On Padoa’s method in the theory of definition. Nederl. Akad. Wetensch. Proc. Ser. A. 56(Indagationes Math.), 15, 330–339 (1953)
5. Bicarregui J., Dimitrakos T., Gabbay D., Maibaum T.: Interpolation in practical formal development. Logic J. IGPL. 9(2), 231–243 (2001)