@misc{indiciae546878f6578e,
  title = {Analyzing Innermost Runtime Complexity Through Tuple Interpretations},
  author = {Liye Guo and Deivid Vale},
  year = {2023},
  doi = {10.4204/eptcs.376.5},
  url = {https://arxiv.org/abs/2303.13256},
  note = {Source identifier: 2303.13256}
}