1. Basovník, S.: Learning restricted restarting automata using genetic algorithm. Master’s thesis, Charles University, Faculty of Mathematics and Physics, Prague (2010)
2. Basovník, S., Mráz, F.: Learning limited context restarting automata by genetic algorithms. In: Dassow, J., Truthe, B. (eds.) Proc. Theorietag 2011, pp. 1–4. Otto-von-Guericke-Universität, Magdeburg (2011)
3. Beeri, C.: An improvement on Valiant decision procedure for equivalence of deterministic finite turn pushdown machines. Theoret. Comput. Sci. 3, 305–320 (1976)
4. Book, R., Otto, F.: String-Rewriting Systems. Springer, New York (1993)
5. Černo, P.: Clearing restarting automata and grammatical inference. In: Heinz, J., de la Higuera, C., Oates, T. (eds.) JMLR Workshop and Conf. Proc. ICGI 2012, vol. 21, pp. 54–68. University of Maryland, College Park (2012)