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