A Survey of the Theorema Project.

Bruno Buchberger Tudor Jebelean Franz Kriftner Mircea Marin Elena Tomuta Daniela Vasaru A Survey of the Theorema Project. 384-391 1997 conf/issac/1997 ISSAC db/conf/issac/issac97.html#BuchbergerJKMTV97