@conference {5542,
	title = {Deciding between the external and internal definition of label },
	year = {2014},
	month = {03/2014},
	author = {Caterina Donati and Carlo Cecchetto}
}
