@misc{indiciaeec508a8c5d45,
  title = {Argumentation theory for mathematical argument},
  author = {Joseph Corneli and Ursula Martin and Dave Murray-Rust and Gabriela Rino Nesin and Alison Pease},
  year = {2018},
  url = {https://arxiv.org/abs/1803.06500},
  note = {Source identifier: 1803.06500}
}