Gerhard O. Michler How to Build a Prototype for a Distributed Digital Mathematics Archive Library. 137-164 2003 38 Ann. Math. Artif. Intell. 1-3 db/journals/amai/amai38.html#Michler03