Buchberger, Bruno, Tudor Jebelean, Temur Kutsia, Alexander Maletzky, and Wolfgang Windsteiger. “Theorema 2.0: Computer-Assisted Natural-Style Mathematics”. Journal of Formalized Reasoning 9, no. 1 (January 1, 2016): 149–185. Accessed April 26, 2024. https://jfr.unibo.it/article/view/4568.