Laurence L. Leff, David Y. Y. Yun. Constructive solid geometry: a symbolic computation approach. In Bruce W. Char, editor, SYMSAC 1986, Proceedings of the Symposium on Symbolic and Algebraic Manipulation, Waterloo, Ontario, Canada, July 21-23, 1986. pages 121-126, ACM, 1986. [doi]
Abstract is missing.