J. Bang-jensen, F. Havet, and N. Trotignon, Finding an induced subdivision of a di- 8 graph, Theoretical Computer Science

J. Bang-jensen and M. Kriesell, Disjoint directed and undirected paths and cycles in 10 digraphs Theoretical Computer Science 410, pp.5138-5144, 2009.

D. Berwanger, A. Dawar, P. Hunter, and S. Kreutzer, DAG-Width and Parity Games, p.12
DOI : 10.1007/11672142_43

J. A. Bondy and U. S. Murty, Graph theory, of Graduate Texts in Mathe- 15 matics, p.16, 2008.
DOI : 10.1007/978-1-84628-970-5

M. Chudnovsky, A. Scott, and P. D. Seymour, Disjoint paths in tournaments, Advances in Mathematics, vol.270, p.18
DOI : 10.1016/j.aim.2014.11.011

M. Chudnovsky and P. D. Seymour, Excluding induced subgraphs, Surveys
DOI : 10.1017/CBO9780511666209.005

M. Chudnovsky and P. D. Seymour, The three-in-a-tree problem, Combinatorica, vol.19, issue.2, p.22
DOI : 10.1007/s00493-010-2334-4

B. Courcelle and J. Engelfriet, Graph structure and monadic second-order logic. A 24 language-theoretic approach. Encyclopedia of Mathematics and its Applications, p.25
URL : https://hal.archives-ouvertes.fr/hal-00646514

S. Fortune, J. E. Hopcroft, J. N. Wyllie-]-h, S. Gabow, H. N. Nie et al., The directed subgraph homeomorphism 27 problem Finding a long directed cycle Finding a long directed cycle, Proceedings of the fif- 29 teenth annual ACM-SIAM symposium on Discrete algorithms (SODA '04). Society 30 for Industrial and Applied Mathematics, pp.26111-121, 1980.