| 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 |
