OMEGA: Towards a mathematical assistant (1997)

by C Benzmueller, L Cheikhrouhou, D Fehrer, A Fiedler, X Huang, Kerber