M. Thielscher and S. Voigt, “A Temporal Proof System for General Game Playing”, AAAI, vol. 24, no. 1, pp. 1000–1005, Jul. 2010.