Konecny. PTIME Computation of Transitive Closures of Octagonal Relations. 10 Feb. 2014.