@misc{indiciae9775eed307c0,
  title = {Intuitionistic predicate logic of constant domains does not have Beth property},
  author = {Grigory K. Olkhovikov},
  year = {2012},
  url = {https://arxiv.org/abs/1204.5788},
  note = {Source identifier: 1204.5788}
}