Rina Dechter Itay Meiri Judea Pearl Temporal Constraint Networks. 61-95 1991 49 Artif. Intell. 1-3 db/journals/ai/ai49.html#DechterMP91