Shuichi Shimizu, K. Inoue, Masayuki Numao. An ATMS-based geometric constraint solver for 3D CAD. In Third International Conference on Tools for Artificial Intelligence, TAI '91, San Jose, CA, USA, November 10-13, 1991. pages 282-290, IEEE, 1991. [doi]
Abstract is missing.