Jacques Calmet John A. Campbell Integrating Symbolic Mathematical Computation and Artificial Intelligence, Second International Conference, AISMC-2, Cambridge, UK, August 3-5, 1994, Selected Papers AISCM Lecture Notes in Computer Science 958 Springer 1995 3-540-60156-2 db/conf/aisc/aismc1994.html