Martin De Wulf Laurent Doyen Jean-François Raskin A Lattice Theory for Solving Games of Imperfect Information. 153-168 2006 conf/hybrid/2006 HSCC http://dx.doi.org/10.1007/11730637_14 db/conf/hybrid/hscc2006.html#WulfDR06