Zbigniew Galias: Automatized Search for Complex Symbolic Dynamics with Applications in the Analysis of a Simple Memristor Circuit. Int. J. Bifurc. Chaos 24(7) (2014)