C. A. , fkcc: the Farkas Calculator, International Workshop on Tools for Automatic Program Analysis (TAPAS'19), 2019.

C. Alias, A. Darte, P. Feautrier, and L. Gonnord, Multi-dimensional Rankings, Program Termination, and Complexity Bounds of Flowchart Programs, International Static Analysis Symposium (SAS'10), 2010.
URL : https://hal.archives-ouvertes.fr/inria-00523298

U. Bondhugula, A. Hartono, J. Ramanujam, and P. Sadayappan, A practical automatic polyhedral parallelizer and locality optimizer, Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, pp.101-113, 2008.

M. Colón, S. Sankaranarayanan, and H. Sipma, Linear Invariant Generation Using Non-linear Constraint Solving, CAV (LNCS), pp.420-432, 2003.

P. Feautrier, Some Efficient Solutions to the Affine Scheduling Problem. Part I. One-dimensional Time, International Journal of Parallel Programming, vol.21, pp.313-348, 1992.

P. Feautrier, Some Efficient Solutions to the Affine Scheduling Problem, Part II: Multi-Dimensional Time, International Journal of Parallel Programming, vol.21, pp.389-420, 1992.

S. Verdoolaege, Counting Affine Calculator and Applications, First International Workshop on Polyhedral Compilation Techniques (IMPACT'11), 2011.