 The existence of flips for 3-folds was proved by .The existence of log flips, a more general kind of flip, in dimension three and four were proved by 
whose work was fundamental to the solution of the existence of log flips and other problems in higher dimension.The existence of log flips in higher dimensions has been settled by .