@InProceedings{urban:cade2007,
  author =       {Christian Urban and Stefan Berghofer and Michael Norrish},
  title =        {Barendregt's Variable Convention in Rule Inductions},
  booktitle = {21st International Conference on Automated Deduction},
  pages =     {35--50},
  year =      2007,
  editor =    {Frank Pfenning},
  number =    4603,
  series =    {LNCS},
  publisher = {Springer}
}