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
Sofronova D.A., Kalgin K.V. «A Compact translator of algorithms into boolean formulas for use in cryptanalysis» // Applied Discrete Mathematics. Supplement 2020. №13 C.135-136
