Failure of interpolation in the intuitionistic logic of constant domains
  This paper shows that the interpolation theorem fails in the intuitionistic logic of constant domains. This result refutes two previously published claims that the interpolation property holds. 
Grigori Mints, Grigory Olkhovikov and Alasdair Urquhart
math.LO