TY  - RPRT
TI  - An interval logic for higher-level temporal reasoning
AU  - Schwartz, R. L.
AU  - Melliar-Smith, P. M.
AU  - Vogt, F. H.
AU  - Plaisted, D. A.
PY  - 1983
UR  - https://ntrs.nasa.gov/citations/19840008753
ID  - 19840008753
ER  -