TY  - RPRT
TI  - A symbolic-arithmetic for teaching double-black node removal in red-black trees
AU  - Kennedy E. Ehimwenma
AU  - Junfeng Wang
AU  - Ze Zheng
AU  - Hongyu Zhou
PY  - 2023
UR  - https://arxiv.org/abs/2312.07566
ID  - 2312.07566
ER  -