TY  - RPRT
TI  - Balancing lists: a proof pearl
AU  - Guyslain Naves
AU  - Arnaud Spiwack
PY  - 2014
UR  - https://arxiv.org/abs/1401.7886
ID  - 1401.7886
ER  -