[1]
A. B. Kidmose and T. Tiessen, “A Formal Analysis of Boomerang Probabilities”, ToSC, vol. 2022, no. 1, pp. 88–109, Mar. 2022.