1. Minimizing the number of clauses by renaming;Boy de la Tour,1990
2. Optimisations par renommage dans la méthode de résolution;Boy de la Tour,1991
3. Some tools for an inference laboratory (atinf);Boy de la Tour,1988
4. The use of renaming to improve the efficiency of clausal theorem proving;Boy de la Tour,1990
5. The halting problem;Bruschi;AAR Newsletter,1991