1. Alon, N., Spencer, J.: The Probabilistic Method. Wiley (2015)
2. Bėal, M.-P., Carton, O., Prieur, C., Sakarovitch, J.: Squaring transducers: an efficient procedure for deciding functionality and sequentiality. Theor. Comput. Sci. 292(1), 45–63 (2003)
3. Carayol, A., Göller, S.: On long words avoiding zimin patterns. In: Vollmer, H., Vallėe, B. (eds.) 34th Symposium on Theoretical Aspects of Computer Science, STACS 2017, March 8-11, 2017, Hannover, Germany, volume 66 of LIPIcs, pp. 19:1–19:13. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2017)
4. Carayol, A., Gȯller, S.: On long words avoiding Zimin patterns. CoRR, arXiv:
1902.05540
(2019)
5. Conlon, D., Fox, J., Sudakov, B.: Tower-type bounds for unavoidable patterns in words (2017)