@misc{indiciae2b449fb2d051,
  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},
  doi = {10.5815/ijmsc.2025.01.01},
  url = {https://arxiv.org/abs/2504.03259},
  note = {Source identifier: 2504.03259}
}