Text this: GLOBALLY CONVERGENT ALGORITHM FOR SOLVING STATIONARY POINTS FOR MATHEMATICAL PROGRAMS WITH COMPLEMENTARITY CONSTRAINTS VIA NONSMOOTH REFORMULATIONS.