Lelis, L.; Stern, R.; Sturtevant, N. Estimating Search Tree Size With Duplicate Detection. SOCS 2021, 5, 114-122.