Computing the Transitive Closure of a Union of Affine Integer Tuple Relations.

Anna Beletska Denis Barthou Wlodzimierz Bielecki Albert Cohen Computing the Transitive Closure of a Union of Affine Integer Tuple Relations. 98-109 2009 COCOA http://dx.doi.org/10.1007/978-3-642-02026-1_9 conf/cocoa/2009 db/conf/cocoa/cocoa2009.html#BeletskaBBC09