Soboń, A.; Kurkowski, M.; Stachowiak, S. Complete SAT Based Cryptanalysis of RC5 Cipher. J. inf. organ. sci. (Online) 2020, 44.