A. Soboń, M. Kurkowski, and S. Stachowiak, “Complete SAT based Cryptanalysis of RC5 Cipher”, J. inf. organ. sci. (Online), vol. 44, no. 2, Dec. 2020.