Christoph Benzmüller Lassaad Cheikhrouhou Detlef Fehrer Armin Fiedler Xiaorong Huang Manfred Kerber Michael Kohlhase Karsten Konrad Andreas Meier Erica Melis Wolf Schaarschmidt Jörg H. Siekmann Volker Sorge Omega: Towards a Mathematical Assistant. 252-255 1997 conf/cade/1997 CADE db/conf/cade/cade97.html#BenzmullerCFFHKKKMMSSS97 http://dx.doi.org/10.1007/3-540-63104-6_23