@PHDTHESIS{gnaed1986,
url = "
		http://www.theses.fr/1986NAN10011",
title = "Preuves de terminaison des systèmes de réécriture associatifs commutatifs : Une méthode fondée sur la réécriture elle-même",
author = "Gnaedig, Isabelle",
year = "1986",
pages = "1 vol. (68 p.)",
note = "Thèse de doctorat dirigée par Lescanne, Pierre Sciences appliquées Nancy 1 1986",
note = "1986NAN10011",
}