Five axioms of alpha-conversion, in (1996)

by A D Gordon, T Melham
Venue:Ninth international Conference on Theorem Proving in Higher Order Logics TPHOL