P. Kissmann and S. Edelkamp, “Layer-Abstraction for Symbolically Solving General Two-Player Games”, SOCS, vol. 1, no. 1, pp. 63–70, Aug. 2010.