@inproceedings{simpleintervaltemporallogicfornatural,
  title = {Simple Interval Temporal Logic for Natural Language Assertion Descriptions},
  author = {Reyadh Alluhaibi},
  year = {2015},
  booktitle = {WS 2015 4},
  url = {https://aclanthology.org/W15-0132},
}