Aubertand Rubiano. Mwp-analysis Improvement and Implementation: Realizing Implicit Computational Complexity. 8 Mar. 2022.