Roman Kontchakov, Carsten Lutz, Frank Wolter, Michael Zakharyaschev. Temporalising Tableaux. Studia Logica, 76(1):91-134, 2004. [doi]
@article{KontchakovLWZ04, title = {Temporalising Tableaux}, author = {Roman Kontchakov and Carsten Lutz and Frank Wolter and Michael Zakharyaschev}, year = {2004}, doi = {10.1023/B:STUD.0000027468.28935.6d}, url = {http://dx.doi.org/10.1023/B:STUD.0000027468.28935.6d}, researchr = {https://researchr.org/publication/KontchakovLWZ04}, cites = {0}, citedby = {0}, journal = {Studia Logica}, volume = {76}, number = {1}, pages = {91-134}, }