Jacques Calmet John A. Campbell Artificial Intelligence and Symbolic Mathematical Computation, International Conference, AISMC-1, Karlsruhe, Germany, August 3-6, 1992, Proceedings AISCM Lecture Notes in Computer Science 737 Springer 1993 3-540-57322-4 db/conf/aisc/aismc1992.html