@misc{indiciaedb91ae4d0b3e,
  title = {Syntactic Forcing Models for Coherent Logic},
  author = {Marc Bezem and Ulrik Buchholtz and Thierry Coquand},
  year = {2017},
  url = {https://arxiv.org/abs/1712.07743},
  note = {Source identifier: 1712.07743}
}