@misc{indiciae69cc3a54b563,
  title = {Implicit complexity via structure transformation},
  author = {Daniel Leivant and Jean-Yves Marion},
  year = {2018},
  url = {https://arxiv.org/abs/1802.03115},
  note = {Source identifier: 1802.03115}
}