TY  - RPRT
TI  - One-Pass and Tree-Shaped Tableau Systems for TPTL and TPTLb+Past
AU  - Luca Geatti
AU  - Nicola Gigante
AU  - Angelo Montanari
AU  - Mark Reynolds
PY  - 2018
DO  - 10.4204/eptcs.277.13
UR  - https://arxiv.org/abs/1809.03101
ID  - 1809.03101
ER  -