@Article{seidel1996,
author="Seidel, R. and Aragon, C. R.",
title="Randomized search trees",
journal="Algorithmica",
year="1996",
month="Oct",
day="01",
volume="16",
number="4",
pages="464--497",
issn="1432-0541",
doi="10.1007/BF01940876",
url="https://doi.org/10.1007/BF01940876"
}

@misc{eberl18,
 author = {Eberl, Manuel and Haslbeck, Maximilian and Nipkow, Tobias},
 title = {Verified Analysis of Random Trees},
 year = {2018 (forthcoming)}
}
