Kostas Stergiou Manolis Koubarakis Backtracking algorithms for disjunctions of temporal constraints. 81-117 2000 120 Artif. Intell. 1 db/journals/ai/ai120.html#StergiouK00 http://dx.doi.org/10.1016/S0004-3702(00)00019-9