A Focused, Context-Sensitive Approach to Monitoring. - Richard J. Doyle; Suzanne M. Sellers; David Atkinson (IJCAI, 1989)