@inproceedings{pratt-hartmann_2004, 
  title={Temporal prepositions and their logic: extended abstract}, 
  DOI={10.1109/time.2004.1314412}, 
  publisher={IEEE}, 
  author={Pratt-Hartmann}, 
  year={2004}
  }