Mahat Khelfallah Belaid Benhamou Local Search-based Method for Restoring Disjunctive Temporal Problem Consistency. 167-179 2007 IICAI db/conf/iicai/iicai2007.html#KhelfallahB07