@misc{indiciaeb2e43e789ed1,
  title = {mwp-Analysis Improvement and Implementation: Realizing Implicit Computational Complexity},
  author = {Clément Aubert and Thomas Rubiano and Neea Rusch and Thomas Seiller},
  year = {2022},
  url = {https://arxiv.org/abs/2203.03943},
  note = {Source identifier: 2203.03943}
}