| |
| 1990 | ||
|---|---|---|
| 4 | Thierry Boy de la Tour, Gilles Chaminade: The Use of Renaming to Improve the Effeciency of Clausal Theorem Proving. AIMSA 1990: 3-12 | |
| 1988 | ||
| 3 | Thierry Boy de la Tour, Ricardo Caferra, Gilles Chaminade: Some Tools for an Inference Laboratory (ATINF). CADE 1988: 744-745 | |
| 2 | Gilles Chaminade: Some Computational Aspects of an Order-Sorted Calculus: Order-Sorted Unification Using Compact Representation of Clauses. ECAI 1988: 625-630 | |
| 1 | Thierry Boy de la Tour, Ricardo Caferra, Gilles Chaminade: Some Tools for an Inference Laboratory (ATINF). STACS 1988: 395-396 | |
| 1 | Ricardo Caferra | [1] [3] |
| 2 | Thierry Boy de la Tour | [1] [3] [4] |