Second Order E-Matching as a Tool for Automated Theorem Proving. - Régis Curien (EPIA, 1993)

Efficient Second-Order AC-Matching Algorithm. - Régis Curien; Zhenyu Qian (UNIF, 1995)

Outils pour la preuve par analogie. (Tools for proof by analogy). - Régis Curien (1995)

Classification-Based Problem-Solving in Case-Based Reasoning. - Amedeo Napoli; Jean Lieber; Régis Curien (EWCBR, 1996)

Efficient Second-Order Matching. - Régis Curien; Zhenyu Qian; Hui Shi 001 (RTA, 1996)