@misc{indiciaeb85cab099921,
  title = {Completeness Theorems for Kleene algebra with tests and top},
  author = {Damien Pous and Jana Wagemaker},
  year = {2024},
  doi = {10.46298/lmcs-20(3:27)2024},
  url = {https://arxiv.org/abs/2304.07190},
  note = {Source identifier: 2304.07190}
}