Xi Chen Xiaotie Deng Shang-Hua Teng Settling the complexity of computing two-player Nash equilibria. 2009 56 J. ACM 3 http://doi.acm.org/10.1145/1516512.1516516 db/journals/jacm/jacm56.html#ChenDT09