Dimitar P. Guelev A Complete Proof System for First-order Interval Temporal Logic with Projection. 215-249 2004 14 J. Log. Comput. 2 http://dx.doi.org/10.1093/logcom/14.2.215 db/journals/logcom/logcom14.html#Guelev04