1. P. Borras, D. Clément, T. Despeyroux, J. Incerpi, G. Kahn, B. Lang, and V. Pascual. CENTAUR: The system. In SIGSOFT'88, Third Annual Symposium on Software Development Environments, Boston, November 1988.
2. On efficiency in theorem provers which fully expand proofs into primitive inferences;Boulton,1992
3. A Computational Logic Handbook;Boyer,1988
4. Experiments with proof plans for induction;Bundy;Journal of Automated Reasoning,1991
5. Symbolic compilation and execution of programs by proof: A case study in HOL;Camilleri,1991