1. Berardi, S.: Semantics for Intuitionistic Arithmetic based on Tarski Games with retractable moves Technical Report, Turin University (January 2007), http://www.di.unito.it/~stefano/Berardi-GamesForIntuitionisticLogic-2007-01. pdf
2. Berardi, S.: Coquand, Th., Hayashi, S.: Games with 1-backtracking. In: Proceedings of GaLop, Edinburgh (April 2005)
3. Berardi, S., Yamagata, Y.: A sequent calculus for 1-backtracking, Technical Report, Turin University, CL&C (2006), Submitted to the special issue of APAL for the congress (December 2005) , http://www.di.unito.it/~stefano/Yamagata-Berardi-report.pdf
4. Coquand, T.: A semantics of evidence for classical arithmetic (preliminary version). In: Huet, G., Plotkin, G., Jones, C. (eds.) Proceedings of the Second Workshop on Logical Frameworks, Edinburgh (1991), http://www.dcs.ed.ac.uk/home/lego/html/papers.html
5. Coquand, T.: A semantics of evidence for classical arithmetic. Journal of Symbolic Logic 60, 325–337 (1995)