Aouchiche, M. (2006). Comparaison automatisée d'invariants en théorie des graphes [Thèse de doctorat, École Polytechnique de Montréal]. Disponible