1. C. Benzemüller, and V. Sorge. Critical Agents Supporting Interactive Theorem Proving. In Progress in Artificial Intelligence, eds. P. Barahona and J. J. Alferes, 208–221 (Springer-Verlag, Berlin, 1999)
2. M. Bronstein. Symbolic Integration I: Transcendental Functions (Springer-Verlag, Berlin, 1997)
3. J. A. Campbell, J. G. Kent, and R. J. Moore. B.I.T., 16, 241–259 (1976)
4. A. Cardon, and C. Moulin. Adaptation of a Learning System to the Student’s Behaviour. Paper No. 185, PSI-LIRINSA, INSA de Rouen, Mont Saint-Aignan, France (1996)
5. J. H. Davenport, Y. Siret, and E. Tournier. Computer Algebra Systems and Algorithms for Algebraic Computation. (Academic Press, London, 1993)