Thomas Dean Keiji Kanazawa Probabilistic Temporal Reasoning. 524-529 1988 AAAI db/conf/aaai/aaai88.html#DeanK88