Knowledge Representation and Management in ActiveMath

@article{pub1925,
    author = {

Melis, Erica
 and 

Büdenbender, Jochen
 and 

Goguadze, Giorgi
 and 

Libbrecht, Paul
 and 

Ullrich, Carsten
},
    title = {Knowledge Representation and Management in ActiveMath},
    booktitle = {Proceedings of the first Conference on Mathematical Knowledge Management, MKM'01, a special issue of the Annals of Mathematics and Artificial Intelligence},
    year = {2003},
    month = {5},
    volume = {38 - Special Issue on Management of Mathematical Knowledge},
    number = {1-3},
    pages = {47--64},
    journal = {Annals of Mathematics and Artificial Intelligence},
    publisher = {Springer},
    note = {Volume is accessible from http://monet.nag.co.uk/mkm/amai/index.html}
}