Jacques Calmet, John A. Campbell, Jochen Pfalzgraf: Artificial Intelligence and Symbolic Mathematical Computation, International Conference AISMC-3, Steyr, Austria, September 23-25, 1996, Proceedings. Lecture Notes in Computer Science 1138, Springer 1996, ISBN 3-540-61732-9