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