@PHDTHESIS{craci2004,
url = "
		http://www.theses.fr/2004EPXX0008",
title = "Preuves d'équivalence de programmes logiques",
author = "Craciunescu, Sorin",
year = "2004",
pages = "1 vol. (170 p.)",
note = "Thèse de doctorat dirigée par Fages, François Informatique Palaiseau, Ecole polytechnique 2004",
note = "2004EPXX0008",
}