Thierry Boy de la Tour, Gilles Chaminade. The Use of Renaming to Improve the Effeciency of Clausal Theorem Proving. In AIMSA. pages 3-12, 1990.
@inproceedings{TourC90,
title = {The Use of Renaming to Improve the Effeciency of Clausal Theorem Proving},
author = {Thierry Boy de la Tour and Gilles Chaminade},
year = {1990},
researchr = {https://researchr.org/publication/TourC90},
cites = {0},
citedby = {0},
pages = {3-12},
booktitle = {AIMSA},
}