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