Towards a mathematical assistant (1997)

by C Benzmüller, L Cheikhrouhou, D Fehrer, A Fiedler, X Huang, M
Venue:Proceedings of the CADE’14, LNAI 1249