Bruno Courcelle, « On the expression of graph properties in some fragments of monadic second-order logic », dans Neil Immerman et Phokion G. Kolaitis, Proc. Descr. Complex. Finite Models, Amer. Math. Soc., coll. « DIMACS » (no 31), (MR1451381, lire en ligne), p. 33–62.
Jaroslav Nešetřil et Patrice Ossona de Mendez, « Bounded height trees and tree-depth », dans Sparsity: Graphs, Structures, and Algorithms, Heidelberg, Springer, coll. « Algorithms and Combinatorics » (no 28), (ISBN978-3-642-27874-7, DOI10.1007/978-3-642-27875-4, MR2920058), p. 115–144.
Hubert de Fraysseix et Pierre Rosenstiehl, « A depth-first-search characterization of planarity », Graph theory (Cambridge, 1981), Amsterdam, North-Holland, vol. 13, , p. 75–80 (MR671906)
Nathan Bowler, Stefan Geschke et Max Pitz, « Minimal obstructions for normal spanning trees », Fund. Math., vol. 241, no 3, , p. 245-263 (MR3778904, arXiv1609.01042).
Nathan Bowler, Stefan Geschke et Max Pitz, « Minimal obstructions for normal spanning trees », Fund. Math., vol. 241, no 3, , p. 245-263 (MR3778904, arXiv1609.01042).
D’après la base de données des anciens élèves de l’École polytechnique citée par Pierre Rosenstiehl dans Pierre Rosenstiehl, « Labyrinthes et fil d'Ariane », Images des Mathématiques, (lire en ligne, consulté le ), Charles-Pierre Trémaux a vécu de 1859 à 1882. Ce n'est donc pas Pierre Trémaux, né le 20 juillet 1818 à Charrecey et mort le 12 mars 1895 à Tournus
Jaroslav Nešetřil et Patrice Ossona de Mendez, « Bounded height trees and tree-depth », dans Sparsity: Graphs, Structures, and Algorithms, Heidelberg, Springer, coll. « Algorithms and Combinatorics » (no 28), (ISBN978-3-642-27874-7, DOI10.1007/978-3-642-27875-4, MR2920058), p. 115–144.
Bruno Courcelle, « On the expression of graph properties in some fragments of monadic second-order logic », dans Neil Immerman et Phokion G. Kolaitis, Proc. Descr. Complex. Finite Models, Amer. Math. Soc., coll. « DIMACS » (no 31), (MR1451381, lire en ligne), p. 33–62.