Pierre Lescanne Deconstruction of Infinite Extensive Games using coinduction http://arxiv.org/abs/0904.3528 2009 CoRR abs/0904.3528 db/journals/corr/corr0904.html#abs-0904-3528 informal publication