1. Clemens Ballarin, Computer algebra and thereom proving, PhD Thesis, University of Cambridge, 1999.[link]
  2. Clemens Ballarin, Jacques Calmet, and Peter Kullmann, Integration of deduction and computation, Preprint (2000), 19 pages.