@misc{indiciaef4e840e5d9ff,
  title = {Loop Quasi-Invariant Chunk Motion by peeling with statement composition},
  author = {Jean-Yves Moyen and Thomas Rubiano and Thomas Seiller},
  year = {2017},
  doi = {10.4204/eptcs.248.9},
  url = {https://arxiv.org/abs/1704.05589},
  note = {Source identifier: 1704.05589}
}