2009. Logic and Games. The Reasoner. 3, 12 (Dec. 2009).