@inproceedings{corneli2017towards,
  title = "Towards mathematical AI via a model of the content and process of mathematical question and answer dialogues",
  author = "Corneli, Joseph and Martin, Ursula and Murray-Rust, Dave and Pease, Alison",
  year = "2017",
  booktitle = "International Conference on Intelligent Computer Mathematics",
  organization = "Springer, Cham",
  pages = "132--146",
}