TY - RPRT TI - Deconstruction of Infinite Extensive Games using coinduction AU - Pierre Lescanne PY - 2009 UR - https://arxiv.org/abs/0904.3528 ID - 0904.3528 ER -