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