Mira Balaban Tzachi Rosen STCSP - Structured Temporal Constraint satisfaction Problems. 35-67 1999 25 Ann. Math. Artif. Intell. 1-2 db/journals/amai/amai25.html#BalabanR99