@ARTICLE {4218,
author={D. Basin and C. Caleiro and J. Ramos and L. Viganò},
doi={10.1093/logcom/exp022},
journal={Journal of Logic and Computation},
title={Labelled tableaux for distributed temporal logic},
year={2009},
month={January},
volume={19},
number={6},
pages={1245-1279},
ISSN={0955-792X}
}