Kissmann, P.; Edelkamp, S. Layer-Abstraction for Symbolically Solving General Two-Player Games. SOCS 2010, 1, 63-70.