1 @inproceedings{Kelly1996closure,
2 author = {Wayne Kelly and
6 title = {Transitive Closure of Infinite Graphs and Its Applications},
8 editor = {Chua-Huang Huang and
14 booktitle = {Languages and Compilers for Parallel Computing, 8th International
15 Workshop, LCPC'95, Columbus, Ohio, USA, August 10-12, 1995,
18 publisher = {Springer},
19 series = {Lecture Notes in Computer Science},
22 isbn = {3-540-60765-X},
25 @inproceedings{Beletska2009,
26 author = {Beletska, Anna and Barthou, Denis and Bielecki, Wlodzimierz and Cohen, Albert},
27 title = {Computing the Transitive Closure of a Union of Affine Integer Tuple Relations},
28 booktitle = {COCOA '09: Proceedings of the 3rd International Conference on Combinatorial Optimization and Applications},
30 isbn = {978-3-642-02025-4},
32 location = {Huangshan, China},
33 doi = {10.1007/978-3-642-02026-1_9},
34 publisher = {Springer-Verlag},
35 address = {Berlin, Heidelberg},
39 author = "Schrijver, Alexander",
40 title = "Theory of Linear and Integer Programming",
41 publisher = "John Wiley \& Sons",
46 author = {Tarjan, Robert},
47 journal = {SIAM Journal on Computing},
51 title = {Depth-First Search and Linear Graph Algorithms},
56 @TechReport{ Omega_calc,
57 author = "Wayne Kelly and Vadim Maslov and William Pugh and Evan Rosser and Tatiana Shpeisman and Dave Wonnacott",
58 title = "The {Omega} Calculator and Library",
60 institution = "University of Maryland",
64 @TechReport{ Omega_lib,
65 author = "Wayne Kelly and Vadim Maslov and William Pugh and Evan Rosser and Tatiana Shpeisman and Dave Wonnacott",
66 title = "The {Omega} Library",
68 institution = "University of Maryland",
72 @unpublished{Verdoolaege2009isl,
73 author = "Verdoolaege, Sven",
74 title = "An integer set library for program analysis",
75 note = "Advances in the Theory of Integer Linear Optimization and its Extensions,AMS 2009 Spring Western Section Meeting, San Francisco, California, 25-26 April 2009",
78 url = "https://lirias.kuleuven.be/handle/123456789/228373",