@misc{indiciaed800a455516d, title = {Finite choice, convex choice and finding roots}, author = {Stéphane Le Roux and Arno Pauly}, year = {2015}, doi = {10.2168/lmcs-11(4:6)2015}, url = {https://arxiv.org/abs/1302.0380}, note = {Source identifier: 1302.0380} }