Efficient Extensional Binary Tries2023-03-010 PRE AI DOI:10.1007/s10817-022-09655-xOriginalOriginal request for helpShareSaveAbstract En