Deciding the k-dimension is PSPACE-complete | IEEE Conference Publication | IEEE Xplore