Stefano Berardi, Thierry Coquand, Susumu Hayashi. Games with 1-backtracking. Annals of Pure and Applied Logic, 161(10):1254-1269, 2010. [doi]
@article{BerardiCH10, title = {Games with 1-backtracking}, author = {Stefano Berardi and Thierry Coquand and Susumu Hayashi}, year = {2010}, doi = {10.1016/j.apal.2010.03.002}, url = {http://dx.doi.org/10.1016/j.apal.2010.03.002}, researchr = {https://researchr.org/publication/BerardiCH10}, cites = {0}, citedby = {0}, journal = {Annals of Pure and Applied Logic}, volume = {161}, number = {10}, pages = {1254-1269}, }