1. Jürgen Zimmer and Louise A. Dennis, Inductive theorem proving and computer algebra in the MathWeb Software Bus, Artificial Intelligence, Automated Reasoning, and Symbolic Computation, Lecture Notes in Comput. Sci., vol. 2385, Springer, Berlin, 2002, pp. 319–331.[MR]