1. Asperti, A., Wegner, B.: Mowgli – A New Approach for the Content Description in Digital Documents. In: Proceedings of the 9th Intl. Conference on Electronic Resources and the Social Role of Libraries in the Future, Section 4, vol. 1 (2002)
2. Berners-Lee, T., Hendler, J., Lassila, O.: The Semantic Web. Scientific American (May 2001)
3. Caprotti, O., Carlisle, D.P., Cohen, A.M.: The OpenMath Standard. In: The Open- Math Esprit Consortium (February 2000)
4. Dalmas, S., Gaëtano, M., Huchet, C.: A Deductive Database for Mathematical Formulas. In: Limongelli, C., Calmet, J. (eds.) DISCO 1996. LNCS, vol. 1128. Springer, Heidelberg (1996)
5. Heumesser, B., Schimkat, R.: Deduction on Xml Documents: A Case Study. In: Proceedings of the 14th International Conference on Applications of Prolog INAP 2001 – Stream Content Management (2001)