@misc{indiciae483ddc7ba0ae,
  title = {An interval logic for higher-level temporal reasoning},
  author = {Schwartz, R. L. and Melliar-Smith, P. M. and Vogt, F. H. and Plaisted, D. A.},
  year = {1983},
  url = {https://ntrs.nasa.gov/citations/19840008753},
  note = {Source identifier: 19840008753}
}