A.G. Cohn and S. Hazarika. 2001. ``Qualitative Spatial Representation and Reasoning: An Overview.'' {\em Fundamenta Informaticae,} {\bf 46} pp. 1-21. See Leeds QSR Group Publications
E. Davis. 1988. A Logical Framework for Commonsense Predictions of Solid Object Behavior. AI in Engineering, vol. 3 no. 3, pp. 125-140.
E. Davis. 1990. Representations of Commonsense Knowledge. Menlo Park, Calif.: Morgan Kaufmann.
E. Davis. 1995a. Approximation and Abstraction in Solid Object Kinematics. NYU Computer Science Tech. Report 706, September 1995
B. Faltings. 1987. Qualitative Kinematics in Mechanisms. In Proceedings of the Tenth International Joint Conference on Artificial Intelligence, 436-442. Menlo Park, Calif: International Joint Conferences on Artificial Intelligence.
K. Forbus. 1980. Spatial and Qualitative Aspects of Reasoning about Motion. In Proceedings of the First National Conference on Artificial Intelligence. Menlo Park, Calif: American Association for Artificial Intelligence.
A. Gelsey. 1995. Automated Reasoning about Machines. Artificial Intelligence, vol 74, pp. 1-53.
L. Joskowicz and E. Sacks. 1991. Computational Kinematics. Artificial Intelligence, 51: 381-416.
L. Joskowicz, E. Sacks, and V. Srinivasan. 1997. ``Kinematic Tolerance Analysis,'' Computer-Aided Design, Vol. 29, No. 2.
P. Nielsen. 1988. A Qualitative Approach to Mechanical Constraint. Proc. AAAI-88, pp. 270-274.
E. Sandewall. 1989. Combining Logic and Differential Equations for Describing Real-World Systems. In Proceedings of the First International Conference on Knowledge Representation and Reasoning, 412-420. Menlo Park, Calif: Morgan Kaufmann.
T. Stahovich, R. Davis, and H. Shrobe. 2000. Qualitative rigid-body mechanics. Artificial Intelligence Vol. 119, pp. 19-06.