Complexity of temporal reasoning with disjunctions of inequalities (1993)

by A Gerevini, L Schubert
Venue:In Workshop notes of the IJCAI-93 Workshop on spatial and temporal reasoning