Bruno Dutertre. Complete Proof Systems for First Order Interval Temporal Logic. In Proceedings, Tenth Annual IEEE Symposium on Logic in Computer Science, 26-29 June 1995, San Diego, California, USA. pages 36-43, IEEE Computer Society, 1995.
Abstract is missing.