@misc{indiciaeff8d01fa06c5,
  title = {Paths-based criteria and application to linear logic subsystems characterizing polynomial time},
  author = {Matthieu Perrinel},
  year = {2017},
  url = {https://arxiv.org/abs/1701.01413},
  note = {Source identifier: 1701.01413}
}