# A Tableaux Method for Interval Temporal Logic with Projection

Bowman, Howard, Thompson, Simon (1998) A Tableaux Method for Interval Temporal Logic with Projection. In: TABLEAUX'98, International Conference on Analytic Tableaux and Related Methods. Lecture Notes In Computer Science , 1397 (1397). pp. 108-123. Springer-Verlag ISBN 3-540-64406-7.

Other (zip)
Postscript