TY  - RPRT
TI  - A Decidable Theory of Skiplists of Unbounded Size and Arbitrary Height
AU  - César Sánchez
AU  - Alejandro Sánchez
PY  - 2013
UR  - https://arxiv.org/abs/1301.4372
ID  - 1301.4372
ER  -