A. A. Aaby K. T. Narayana Propositional Temporal Interval Logic is PSPACE Complete. 218-237 1988 conf/cade/1988 CADE db/conf/cade/cade88.html#AabyN88 http://dx.doi.org/10.1007/BFb0012834