B. Jeannet, “Dynamic Partitioning in Linear Relation Analysis. Application to the Verification of Synchronous Programs”, BRICS, vol. 7, no. 38, Jun. 2000.