- Jacques Calmet, John A. Campbell, editors, Artificial Intelligence and Symbolic Mathematical Computation, International Conference, AISMC-1, Karlsruhe, Germany, August 3-6, 1992, Proceedings. Volume 737 of Lecture Notes in Computer Science, Springer, 1993.