M.: Theorema: Towards computeraided mathematical theory exploration (2006)

by B Buchberger, A Craciun, T Jebelean, L Kovács, T Kutsia, K Nakagawa, F Piroi, N Popov, J Robu, Rosenkranz
Venue:J. Applied Logic