TY  - RPRT
TI  - Argumentation theory for mathematical argument
AU  - Joseph Corneli
AU  - Ursula Martin
AU  - Dave Murray-Rust
AU  - Gabriela Rino Nesin
AU  - Alison Pease
PY  - 2018
UR  - https://arxiv.org/abs/1803.06500
ID  - 1803.06500
ER  -