J. Douglass Whitehead, John W. Roach: Hoist: A Second-Generation Expert System Based on Qualitative Physics. AI Mag. 11(3): 108-119 (1990)