Barendregt’s variable convention in rule inductions (2007)

by C Urban, S Berghofer, M Norrish
Venue:In CADE, volume 4603 of LNAI