The Use of Renaming to Improve the Effeciency of Clausal Theorem Proving.

Thierry Boy de la Tour, Gilles Chaminade

Browse the full AIMSA paper archive.