@misc{kappe-2025-kleene,
  author = {Tobias Kappé and Alexandra Silva and Jana Wagemaker},
  title = {Kleene Algebra},
  year = {2025},
  month = {11},
  eprint = {2511.11264},
  archiveprefix = {arXiv}
}