You are about to access our book library "Implementation and Application of Automata: 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings (Theoretical Computer Science and General Issues) full version" .