Buchberger, B., Jebelean, T., Kutsia, T., Maletzky, A. and Windsteiger, W. (2016) “Theorema 2.0: Computer-Assisted Natural-Style Mathematics”, Journal of Formalized Reasoning, 9(1), pp. 149–185. doi: 10.6092/issn.1972-5787/4568.