David A. Basin, Carlos Caleiro, Jaime Ramos, Luca Viganò: Labelled Tableaux for Distributed Temporal Logic. J. Log. Comput. 19(6): 1245-1279 (2009)