Y. Sun, “Automatic Search of Cubes for Attacking Stream Ciphers”, ToSC, vol. 2021, no. 4, pp. 100–123, Dec. 2021, doi: 10.46586/tosc.v2021.i4.100-123.