Five axioms of alpha-conversion (1996)

by Andrew D. Gordon, Tom Melham
Venue:Ninth international Conference on Theorem Proving in Higher Order Logics TPHOL