“Automatic Search of Cubes for Attacking Stream Ciphers” (2021) IACR Transactions on Symmetric Cryptology, 2021(4), pp. 100–123. doi:10.46586/tosc.v2021.i4.100-123.