L. Lelis, R. Stern, and N. Sturtevant, “Estimating Search Tree Size with Duplicate Detection”, SOCS, vol. 5, no. 1, pp. 114–122, Sep. 2021.