1. Extracting coarse-grained parallelism in program loops with the slicing framework;Beletska,2007
2. Bagnara et al. The automatic solution of recurrence relations. i. linear recurrences of finite order with constant coefficients. Technical report, Dipartimento di Matematica, Universita di Parma, Italy, 2003
3. Wayne Kelly, Vadim Maslov, William Pugh, Evan Rosser, Tatiana Shpeisman, and David Wonnacott. The omega library interface guide. Technical report, College Park, MD, USA, 1995
4. Transitive closure of infinite graphs and its applications;Kelly;Int. J. Parallel Program.,1996
5. Theory of Linear and Integer Programming;Schrijver,1986