Higher Order Derivative Constraints in Qualitative Simulation. - Benjamin Kuipers; Charles Chiu; David T. Dalle Molle; D. R. Throop (Artif. Intell., 1991)