@misc{indiciae7e9ab6625e5f,
  title = {Guarded Kleene Algebra with Tests: Coequations, Coinduction, and Completeness},
  author = {Todd Schmid and Tobias Kappé and Dexter Kozen and Alexandra Silva},
  year = {2021},
  doi = {10.4230/lipics.icalp.2021.142},
  url = {https://arxiv.org/abs/2102.08286},
  note = {Source identifier: 2102.08286}
}