Formal analysis and algorithms for extracting coordinate systems of games | IEEE Conference Publication | IEEE Xplore