Space-Consistent Game Equivalence Detection in General Game Playing. - Haifeng Zhang 002; Dangyi Liu; Wenxin Li 005 (CGW/GIGA@IJCAI, 2015)