Sun, Y. Automatic Search of Cubes for Attacking Stream Ciphers. ToSC 2021, 2021, 100-123.