@inproceedings{Corneli:2017:MWM:3122938.3122942,
 author = {Corneli, Joseph and Martin, Ursula and Murray-Rust, Dave and Pease, Alison and Puzio, Raymond and Rino Nesin, Gabriela},
 title = {Modelling the Way Mathematics is Actually Done},
 booktitle = {Proceedings of the 5th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling, and Design},
 series = {FARM 2017},
 year = {2017},
 isbn = {978-1-4503-5180-5},
 location = {Oxford, UK},
 pages = {10--19},
 numpages = {10},
 url = {http://doi.acm.org/10.1145/3122938.3122942},
 doi = {10.1145/3122938.3122942},
 acmid = {3122942},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {Arxana, conceptual dependency, exposition, formal proof, inference anchoring theory, knowledge representation and reasoning, mathematics, natural language},
}