Thomas Ammer, Peter Lammich. van Emde Boas Trees. Archive of Formal Proofs, 2021, 2021. [doi]
@article{AmmerL21, title = {van Emde Boas Trees}, author = {Thomas Ammer and Peter Lammich}, year = {2021}, url = {https://www.isa-afp.org/entries/Van_Emde_Boas_Trees.html}, researchr = {https://researchr.org/publication/AmmerL21}, cites = {0}, citedby = {0}, journal = {Archive of Formal Proofs}, volume = {2021}, }