Kissmann, P. and Edelkamp, S. (2010) “Layer-Abstraction for Symbolically Solving General Two-Player Games”, Proceedings of the International Symposium on Combinatorial Search, 1(1), pp. 63–70. doi: 10.1609/socs.v1i1.18170.