1. OpenMath: communicating mathematical information between co-operating agents in a knowledge network;Abbott;J. Intell. Syst.,1998
2. Constraint contextual rewriting;Armando,1998
3. A. Armando, S. Ranise, Proceedings of the Fourth International Conference Artificial Intelligence and Symbolic Computation (AISC98), 1998b, 42, 54
4. A. Armando, S. Ranise, Proceedings of 3rd International Workshop on Frontiers of Combining Systems (FroCoS’2000), 2000, 47, 61
5. C. Ballarin, K. Homann, J. Calmet, Proceedings of International Symposium on Symbolic and Algebraic Computation (ISSAC’95), Levelt, A. H. M. 1995, ACM Press, New York, 150, 157