@article{anextendedsymbolicarithmeticmodelfor,
  title = {An Extended Symbolic-Arithmetic Model for Teaching Double-Black Removal with Rotation in Red-Black Trees},
  author = {Kennedy E. Ehimwenma and HongYu Zhou and Junfeng Wang and Ze Zheng},
  year = {2025},
  eprint = {2504.03259},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2504.03259v1},
}