Davide Bresolin, Joanna Golinska-Pilarek, Ewa Orlowska. Relational dual tableaux for interval temporal logics. Journal of Applied Non-Classical Logics, 16(3-4):251-278, 2006. [doi]
@article{BresolinGO06,
title = {Relational dual tableaux for interval temporal logics},
author = {Davide Bresolin and Joanna Golinska-Pilarek and Ewa Orlowska},
year = {2006},
url = {http://jancl.e-revues.com/article.jsp?articleId=9132},
tags = {logic},
researchr = {https://researchr.org/publication/BresolinGO06},
cites = {0},
citedby = {0},
journal = {Journal of Applied Non-Classical Logics},
volume = {16},
number = {3-4},
pages = {251-278},
}