Eddie Schwalb Kalev Kask Rina Dechter Temporal Reasoning with Constraints on Fluents and Events. 1067-1072 1994 AAAI db/conf/aaai/aaai94-2.html#SchwalbKD94