Five axioms of alpha conversion (1996)

by A D Gordon, T Melham
Venue:Theorem Proving in Higher Order Logics: 9th International Conference, TPHOLs’96, volume 1125 of Lecture Notes in Computer Science