@misc{indiciae063e0b3048c0,
  title = {Proofs and surfaces},
  author = {Djordje Baralic and Pierre-Louis Curien and Marina Milicevic and Jovana Obradovic and Zoran Petric and Mladen Zekic and Rade T. Zivaljevic},
  year = {2020},
  url = {https://arxiv.org/abs/1907.02949},
  note = {Source identifier: 1907.02949}
}