@PHDTHESIS{labro2002,
url = "
		http://www.theses.fr/2002DENS0004",
title = "Methodes algebriques pour la verification des systemes infinis",
author = "LABROUE, ANNE",
year = "2002",
pages = "162 p.",
note = "Thèse de doctorat dirigée par Schnoebelen, Philippe Sciences et techniques Cachan, Ecole normale supérieure 2002",
note = "2002DENS0004",
}