Real-time temporal and causal reasoning for intelligent control. - Eckart Walther; Vivek V. Badami; James B. Comly; Paul Nielsen; Van-Duc Nguyen (IEA/AIE (1), 1989)