Representing temporal interval relationships in a first order logic for time | IEEE Conference Publication | IEEE Xplore