Barendregt's Variable Convention in Rule Inductions. - Urban, Christian; Berghofer, Stefan; Norrish, Michael (2007)