Paul Libbrecht Erica Melis Methods to Access and Retrieve Mathematical Content in ActiveMath. 331-342 2006 conf/icms/2006 ICMS http://dx.doi.org/10.1007/11832225_33 db/conf/icms/icms2006.html#LibbrechtM06