Schwalb, Dechter, 1997. Processing disjunctions in temporal constraint networks 93.. https://doi.org/10.1016/s0004-3702(97)00009-x