A Temporal Constraint Satisfaction Technique for Nonlinear Planning. - Chung-Ming Cheng; Cheng-Seen Ho (IEA/AIE, 1995)