Thierry Boy de la Tour, Stéphane Fèvre, Dongming Wang. Clifford Term Rewriting for Geometric Reasoning in 3D. In Xiao-Shan Gao, Dongming Wang, Lu Yang, editors, Automated Deduction in Geometry, Second International Workshop, ADG 98, Beijing, China, August 1-3, 1998, Proceedings. Volume 1669 of Lecture Notes in Computer Science, pages 130-155, Springer, 1998. [doi]
Abstract is missing.