1. Clemens Ballarin, Jacques Calmet, and Peter Kullmann, Integration of deduction and computation, Preprint (2000), 19 pages.
  2. Karsten Homann and Jacques Calmet, Combining theorem proving and symbolic mathematical computing, Selected Papers from the Second International Conference on Integrating Symbolic Mathematical Computation and Artificial Intelligence, Lecture Notes in Comput. Sci., vol. 958, Springer, London, 1994, pp. 18–29.