1. Champeaux D. de Sub-problem Finder and Instance Checker Two Cooperating Preprocessors for Theorem Provers IJCAI79 pp. 191--196. Champeaux D. de Sub-problem Finder and Instance Checker Two Cooperating Preprocessors for Theorem Provers IJCAI79 pp. 191--196.
2. Champeaux D. de Two Theorem Prover Precessors from a Theoretical Perspective submitted to IJCAI81. Champeaux D. de Two Theorem Prover Precessors from a Theoretical Perspective submitted to IJCAI81.
3. Champeaux D. de&J. de Bruin Symbolic Evaluation of LISP functions with Side Effects for Verification submitted to IJCAI81. Champeaux D. de&J. de Bruin Symbolic Evaluation of LISP functions with Side Effects for Verification submitted to IJCAI81.