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