See the paper below. "On the open problem of Ginsburg concerning semilinear sets and related problems" by Ibarra and Seki, TCS 501, pp.11-19, 2013 link: http://dl.acm.org/citation.cfm?id=2527409 Hope it can help.