| |
| 1996 | ||
|---|---|---|
| 3 | Amedeo Napoli, Jean Lieber, Régis Curien: Classification-Based Problem-Solving in Case-Based Reasoning. EWCBR 1996: 295-308 | |
| 2 | Régis Curien, Zhenyu Qian, Hui Shi: Efficient Second-Order Matching. RTA 1996: 317-331 | |
| 1993 | ||
| 1 | Régis Curien: Second Order E-Matching as a Tool for Automated Theorem Proving. EPIA 1993: 242-257 | |
| 1 | Jean Lieber | [3] |
| 2 | Amedeo Napoli | [3] |
| 3 | Zhenyu Qian | [2] |
| 4 | Hui Shi | [2] |