Otpuschennikov I. V., Zaikin O.S., Bogachkova I. A., Semenov A. A., Otpuschennikov I. V., Kochemazov S.E., Bogachkova I. A., Semenov A. A., Zaikin O.S., Kochemazov S.E. «Application of algorithms solving sat problem to cryptanalysis of hash functions of MD family» // Applied Discrete Mathematics. Supplement 2015. №8 C.139-142
