TY  - RPRT
TI  - Making simple proofs simpler
AU  - Pietro Codara
AU  - Ottavio M. D'Antona
AU  - Francesco Marigo
AU  - Corrado Monti
PY  - 2013
UR  - https://arxiv.org/abs/1307.1348
ID  - 1307.1348
ER  -