@misc{indiciaec64c0a7a3399,
  title = {A note on Grigoriev and Zaitsev's system CNL\$\textasciicircum{}2\_4\$},
  author = {Hitoshi Omori and Jonas R. B. Arenhart},
  year = {2024},
  doi = {10.4204/eptcs.415.20},
  url = {https://arxiv.org/abs/2501.00500},
  note = {Source identifier: 2501.00500}
}