I'm reading some older blog posts regarding boolean path ops, and I found a great paper in the process. It's short, to the point, and contains intuitive explanations and figures. “Efficient clipping of arbitrary polygons” by Günther Greiner and Kai Hormann.