Status of an open problem about semilinear sets
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.
Recently, a criterion for the special case of deciding whether an integral polyhedron $A\cdot \vec{x} \ge \vec{b}$ is stratified has been developed here (Theorem 4.5):
Leroux, J., Penelle, V., & Sutre, G. (2014). The Context-Freeness Problem Is coNP-Complete for Flat Counter Systems. In Automated Technology for Verification and Analysis (pp. 248-263). Springer International Publishing.
Look at this paper, it may help:
Every semilinear set is a finite union of disjoint linear sets by: Ryuichi Ito
link: http://www.sciencedirect.com/science/article/pii/S0022000069800140