@misc{indiciaebf33344aa3e3,
  title = {A cyclic proof system for Guarded Kleene Algebra with Tests (full version)},
  author = {Jan Rooduijn and Dexter Kozen and Alexandra Silva},
  year = {2024},
  url = {https://arxiv.org/abs/2405.07505},
  note = {Source identifier: 2405.07505}
}