Soboń, A., M. Kurkowski, and S. Stachowiak. “Complete SAT Based Cryptanalysis of RC5 Cipher”. Journal of Information and Organizational Sciences, vol. 44, no. 2, Dec. 2020, doi:10.31341/jios.44.2.10.