Qualitative Kinematics: A Framework. - Kenneth D. Forbus; Paul Nielson; Boi Faltings (IJCAI, 1987)