Key points are not available for this paper at this time.
In the published version of EnumerateCmp in the Section 3.3 on Page 936 1, see also Algorithm 1, a small error is included in Line 5. In the first call of EnumerateCsgRec, too many nodes ( X ∪ N ) will be excluded for the emission of complements, leading to the fact that, in general, not all complements will be emitted correctly.
Meister et al. (Fri,) studied this question.