@misc{indiciae9bf7f30c9f85,
  title = {Hyperformalism for Bunched Natural Deduction Systems},
  author = {Shay Allen Logan and Blane Worley},
  year = {2024},
  doi = {10.1007/s10992-025-09802-w},
  url = {https://arxiv.org/abs/2409.10418},
  note = {Source identifier: 2409.10418}
}