Качко, Е., and Д. Телевный. “A Study of the Applicability of the SMT/SAT-Based Theorem Proves for Keccak Hash Functions Cryptanalysis”. Radiotekhnika, vol. 2, no. 189, June 2017, pp. 75-80, http://rt.nure.ua/article/view/183315.