Viktor Avrutin Paul Levi Michael Schanz Danny Fundinger George Osipenko Investigation of Dynamical Systems Using Symbolic Images: Efficient Implementation and Applications. 3451-3496 2006 16 I. J. Bifurcation and Chaos 12 http://dx.doi.org/10.1142/S0218127406016938 db/journals/ijbc/ijbc16.html#AvrutinLSFO06