Kissmann, Peter, and Stefan Edelkamp. 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.