Hoffman J., Inishev D. Solving problems of resource constraint satisfaction with Time-EX // Computer Science. — 2001. — # 16 — P. 57-65
