Logic Games | part of Logic in Games | MIT Press books | IEEE Xplore