Constructive solid geometry: a symbolic computation approach.

Laurence L. Leff, David Y. Y. Yun

Browse the full ISSAC paper archive.