@inproceedings{conf/icfp/UrbanN05,
	title = {A formal treatment of the barendregt variable convention in rule inductions.},
	author = {Christian Urban and Michael Norrish},
	booktitle = {MERLIN},
	crossref = {conf/icfp/2005merlin},
	editor = {Randy Pollack},
	pages = {25-32},
	publisher = {ACM},
	url = {http://dblp.uni-trier.de/db/conf/icfp/merlin2005.html#UrbanN05},
	year = {2005},
	biburl = {http://www.bibsonomy.org/bibtex/2f8d954f0aff8d5519dad1b35bf15e6fc/dblp},
	description = {dblp},
	ee = {http://doi.acm.org/10.1145/1088454.1088458}, date = {2008-04-23},
	keywords = {dblp }
}