Text this: On Lemke processibility of LCP formulations for solving discounted switching control stochastic games.