B. Jeannet, “Dynamic Partitioning in Linear Relation Analysis. Application to the Verification of Synchronous Programs”, BRICS, bd. 7, nr. 38, jun. 2000.