“Increasing Precision of Division Property” (2020) IACR Transactions on Symmetric Cryptology, 2020(4), pp. 173–194. doi:10.46586/tosc.v2020.i4.173-194.