Howard Bowman Simon J. Thompson A Decision Procedure and Complete Axiomatization of Finite Interval Temporal Logic with Projection. 195-239 2003 13 J. Log. Comput. 2 http://www3.oup.co.uk/logcom/hdb/Volume_13/Issue_02/130195.sgm.abs.html db/journals/logcom/logcom13.html#BowmanT03