Changbo Chen, Marc Moreno Maza, François Lemaire, Wei Pan, Liyun Li, Yuzhen Xie. The ConstructibleSetTools and ParametricSystemTools modules of the RegularChains library in Maple. ACM Comm. Computer Algebra, 42(3):182-184, 2008. [doi]
Abstract is missing.