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]
No references recorded for this publication.
No citations of this publication recorded.