Jeannet, B. (2000). Dynamic Partitioning in Linear Relation Analysis. Application to the Verification of Synchronous Programs. BRICS Report Series, 7(38). https://doi.org/10.7146/brics.v7i38.20204