Five axioms of alpha-conversion (1996)

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