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 (Aug. 2010), 63–70. DOI:https://doi.org/10.1609/socs.v1i1.18170.