Kissmann, Peter, and Stefan Edelkamp. “Layer-Abstraction for Symbolically Solving General Two-Player Games”. Proceedings of the International Symposium on Combinatorial Search, vol. 1, no. 1, Aug. 2010, pp. 63-70, doi:10.1609/socs.v1i1.18170.