@inproceedings{corneli2017towards,
title={Towards mathematical {AI} via a model of the content and process of mathematical question and answer dialogues},
author={Joseph Corneli and Ursula Martin and Dave Murray-Rust and Alison Pease},
booktitle={Intelligent Computer Mathematics 10th International Conference, CICM 2017, Edinburgh, UK, 2017, Proceedings},
editor={Herman Geuvers and Matthew England and Osman Hasan and Florian Rabe and Olaf Teschke},
year={2017},
url={http://metameso.org/~joe/papers/corneli2017towards.pdf},
keywords={IATC}}