@misc{indiciae1ba104d0fd00,
  title = {Logic of Intuitionistic Interactive Proofs (Formal Theory of Perfect Knowledge Transfer)},
  author = {Simon Kramer},
  year = {2014},
  doi = {10.1145/2811263},
  url = {https://arxiv.org/abs/1309.1328},
  note = {Source identifier: 1309.1328}
}