@InProceedings{alluhaibi:2015:IWCS2015,
  author    = {Alluhaibi, Reyadh},
  title     = {Simple Interval Temporal Logic for Natural Language Assertion Descriptions},
  booktitle = {Proceedings of the 11th International Conference on Computational Semantics},
  month     = {April},
  year      = {2015},
  address   = {London, UK},
  publisher = {Association for Computational Linguistics},
  pages     = {283--293},
  url       = {http://www.aclweb.org/anthology/W15-0132}
}