Tighter Trail Bounds for Xoodoo. ToSC 2023, 2023 (4), 187-214. https://doi.org/10.46586/tosc.v2023.i4.187-214.