Solving CSG equations for checking equivalency between two different geometric models. - Zhengdong Huang; Shaopeng Tian Ji Zhou (Comput. Aided Des., 2004)