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