On Lemke processibility of LCP formulations for solving discounted switching control stochastic games. - Krishnamurthy, N.; Neogy, S. K. (Annals of Operations Research, 2020)