1. Clark, K. L., “Negation by Failure,” in Logic and Databases, eds: H. Gallaire, and J. Minkes, Plenum Press, pp. 293–322, 1978.
2. de Kleer, J., and Brown, J. S., “A Qualitative Physics Based on Confluences,” Artificial Intelligence, 24, pp. 7–83, 1984.
3. Efstathiou, J., “Knowledge-based System for Industrial Control,” Computer-Aided Engineering Journal, pp. 7–20, February 1987.
4. Forbus, K. D., “Qualitative Process Theory,” Artificial Intelligence, 24, pp. 85–168, 1984.
5. Hopkins, W. E., and Wong, W. S., “Lie-Trotter Product Formulas for Nonlinear Filtering,” Stochas tics, 17, pp. 313–337, 1987.