- CSB - MetaPress - Google - Bing - Yahoo
 | 1997 | |
|---|---|---|
| 1 |      | Bruno Buchberger, Tudor Jebelean, Franz Kriftner, Mircea Marin, Elena Tomuta, Daniela Vasaru: A Survey of the Theorema Project. ISSAC 1997: 384-391 |
| 1 | Bruno Buchberger | [1] |
| 2 | Tudor Jebelean | [1] |
| 3 | Mircea Marin | [1] |
| 4 | Elena Tomuta | [1] |
| 5 | Daniela Vasaru | [1] |