@PHDTHESIS{couch2001,
url = "
		http://www.theses.fr/2001PA120042",
title = "Analyse statique de la terminaison des règles actives basée sur la notion de chemin maximal",
author = "Couchot, Alain",
year = "2001",
pages = "177 p.",
note = "Thèse de doctorat dirigée par Slissenko, Anatol Informatique Paris 12 2001",
note = "2001PA120042",
}