Aouchiche, M. (2006). Comparaison automatisée d'invariants en théorie des graphes. (PhD thesis, École Polytechnique de Montréal).