Buchberger, Jebelean, Kutsia, Maletzky, Windsteiger, 2016. Theorema 2.0: Computer-Assisted Natural-Style Mathematics.