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