TY  - RPRT
TI  - Certificates in Data Structures
AU  - Yaoyu Wang
AU  - Yitong Yin
PY  - 2014
UR  - https://arxiv.org/abs/1404.5743
ID  - 1404.5743
ER  -