A Survey of the Theorema Project. - Bruno Buchberger; Tudor Jebelean; Franz Kriftner; Mircea Marin; Elena Tomuta; Daniela Vasaru (ISSAC, 1997)