R. La Scala and S. Tiwari, “Algebraic cryptanalysis of symmetric ciphers: modeling and multistep solving strategies”, Serdica Math. J., vol. 51, no. 3–4, pp. 419–442, Dec. 2025.