Thomas F. Stahovich Randall Davis Howard E. Shrobe Qualitative rigid-body mechanics. 19-60 2000 119 Artif. Intell. 1-2 db/journals/ai/ai119.html#StahovichDS00 http://dx.doi.org/10.1016/S0004-3702(00)00009-6