@INPROCEEDINGS {15559,
author={C. Caleiro and L. Viganò and MV Volpe},
doi={0},
booktitle={Symp. on Temporal Representation and Reasoning},
title={A labeled deduction system for the logic UB},
year={2013},
month={September},
volume={978-1-4799-2240-6},
pages={45-53} 
}