TY  - RPRT
TI  - Proofs and surfaces
AU  - Djordje Baralic
AU  - Pierre-Louis Curien
AU  - Marina Milicevic
AU  - Jovana Obradovic
AU  - Zoran Petric
AU  - Mladen Zekic
AU  - Rade T. Zivaljevic
PY  - 2020
UR  - https://arxiv.org/abs/1907.02949
ID  - 1907.02949
ER  -