An Interval Logic for Higher-Level Temporal Reasoning.

Richard L. Schwartz, P. M. Melliar-Smith, Friedrich H. Vogt

Browse the full PODC paper archive.