@article{pease2017lakatos,
title={Lakatos-style Collaborative Mathematics through Dialectical, Structured and Abstract Argumentation},
author={Alison Pease and John Lawrence and Katarzyna Budzynska and Joseph Corneli and Chris Reed},
journal={Artificial Intelligence},
volume = {246},
pages = {181--219},
year={2017},
url={http://metameso.org/~joe/papers/pease2017lakatos.pdf}}