P. Schaefer

Closed Form Solution of Qualitative Differential Equations

P. Schaefer, C. Perrone, M. Marietta, 2003 .

Extended Production Rules for Validity Maintenance

H. I. Bozma, R. Beer, P. Schaefer, 1985, CAIA.

Knowledge-Based Validity Maintenance for Production Systems

Randall D. Beer, Philip Schaefer, H. Isil Bozma, 1986, AAAI.

Analytic Solution of Qualitative Differential Equations

Philip Schaefer, P. Schaefer, 1991, AAAI.

Dynamic test input generation for multiple-fault isolation

Phil Schaefer, P. Schaefer, 1990 .