@misc{indiciae19fd6a08e49f,
  title = {Forcing, Transition Algebras, and Calculi},
  author = {Hashimoto Go and Daniel Găină and Ionuţ Ţuţu},
  year = {2024},
  url = {https://arxiv.org/abs/2404.16111},
  note = {Source identifier: 2404.16111}
}