Bowman, H. and Thompson, Simon J.
A Tableaux Method for Interval Temporal Logic with Projection.
Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods.
Lecture Notes In Computer Science, 1397 (1397).
This list was generated on Wed May 22 10:58:08 2013 BST.