@misc{indiciaeaa0a19b70443,
  title = {A Vernacular for Coherent Logic},
  author = {Sana Stojanovic and Julien Narboux and Marc Bezem and Predrag Janicic},
  year = {2014},
  url = {https://arxiv.org/abs/1405.3391},
  note = {Source identifier: 1405.3391}
}