Extended Production Rules for Validity Maintenance. - Philip Schaefer; H. Isil Bozma; Randall D. Beer (CAIA, 1985)

Knowledge-Based Validity Maintenance for Production Systems. - Philip Schaefer; H. Isil Bozma; Randall D. Beer (AAAI, 1986)

Belief Functions for Real-Time Script Processing. - Philip Schaefer (IJCAI, 1987)

Analytic Solution of Qualitative Differential Equations. - Philip Schaefer (AAAI, 1991)