A Fast Algorithm for Unbounded Monotone Integer Linear Systems with Two Variables per Inequality via Graph Decomposition. - Takuya Tamori; Kei Kimura (WALCOM, 2019)