@misc{indiciae04934785dd6a,
  title = {Failure of interpolation in the intuitionistic logic of constant domains},
  author = {Grigori Mints and Grigory Olkhovikov and Alasdair Urquhart},
  year = {2012},
  doi = {10.2178/jsl.7803120},
  url = {https://arxiv.org/abs/1202.3519},
  note = {Source identifier: 1202.3519}
}