@misc{indiciae2428d1d04f4e,
  title = {A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests},
  author = {Tobias Kappé and Todd Schmid and Alexandra Silva},
  year = {2024},
  url = {https://arxiv.org/abs/2301.11301},
  note = {Source identifier: 2301.11301}
}