@misc{indiciae366a410e9dbe,
  title = {Algebraic Proof Theory for Infinitary Action Logic},
  author = {Wesley Fussner and Simon Santschi and Borja Sierra Miranda},
  year = {2025},
  url = {https://arxiv.org/abs/2501.18231},
  note = {Source identifier: 2501.18231}
}