Erica Melis Jochen Büdenbender Georgi Goguadze Paul Libbrecht Carsten Ullrich Knowledge Representation and Management in ACTIVEMATH. 47-64 2003 38 Ann. Math. Artif. Intell. 1-3 db/journals/amai/amai38.html#MelisBGLU03 http://dx.doi.org/10.1023/A:1022959613174