ΩMEGA: Towards a mathematical assistant - Benzmüller, Christoph; Huang, Xiaorong; Kohlhase, Michael; Melis, Erica; Siekmann, Jörg; Sorge, Volker; et al. (14th International Conference on Automated Deduction, CADE 1997, 1997)