@misc{indiciae9458da831365,
  title = {A Cyclic Proof System for HFLN},
  author = {Mayuko Kori and Takeshi Tsukada and Naoki Kobayashi},
  year = {2021},
  doi = {10.4230/lipics.csl.2021.29},
  url = {https://arxiv.org/abs/2010.14891},
  note = {Source identifier: 2010.14891}
}