Interpolation and definability: Model and intuitionistic logic - Gabbay, Dov M (2005)