Urban, ChristianBerghofer, StefanNorrish, Michael2015-12-08July 17-209783540735946http://hdl.handle.net/1885/36050Barendregt's variable convention in rule inductions200710.1007/978-3-540-73595-3_42015-12-08