Maro E. A., Babenko L.K., Maro E. A., Babenko L.K. «Solving the problem of boolean satisfiability for estimating the security of block ciphers magma and present to algebraic cryptanalysis» // Applied Discrete Mathematics. Supplement 2017. №10 C.62-64
