Greiner-Hormann polygon clipping algorithm