Thielscher, M.; Voigt, S. A Temporal Proof System for General Game Playing. AAAI 2010, 24, 1000-1005.