1. Ajtai, M.: $${\Sigma }^1_1$$ formulae on finite structures. Ann. Pure Appl. Log. 24(3), 1–48 (1983)
2. Alon, N., Yuster, R., Zwick, U.: Color-coding. J. ACM 42(4), 844–856 (1995)
3. Bannach, M., Stockhusen, C., Tantau, T.: Fast parallel fixed-parameter algorithms via color coding. In: Proceedings of IPEC 2015, pp. 224–235 (2015)
4. Bannach, M., Tantau, T.: Computing hitting set kernels by AC$$^0$$-circuits. In: Proceedings of STACS 2018, pp. 9:1–9:14 (2018)
5. Bannach, M., Tantau, T.: On the descriptive complexity of color coding. In: Proceedings of STACS 2019, pp. 11:1–11:16 (2019)