Barendregt’s variable convention in rule inductions (2007)

by Christian Urban , Stefan Berghofer , Michael Norrish
Venue:In Proc. of the 21th International Conference on Automated Deduction (CADE), volume 4603 of LNAI
Citations:20 - 8 self