A Decidable Theory of Skiplists of Unbounded Size and Arbitrary Height | Publicación