Processing disjunctions of temporal constraints | IEEE Conference Publication | IEEE Xplore