@PHDTHESIS{faure2007,
url = "
		http://www.theses.fr/2007NAN10032",
title = "Structures et modèles de calculs de réécriture",
author = "Faure, Germain",
year = "2007",
pages = "1 vol. (VI-222 p.)",
note = "Thèse de doctorat dirigée par Kirchner, Claude Informatique Nancy 1 2007",
note = "2007NAN10032",
}