@PHDTHESIS{bouho1994,
url = "
		http://www.theses.fr/1994NAN10022",
title = "Preuves automatiques par récurrence dans les théories conditionnelles",
author = "Bouhoula, Adel",
year = "1994",
pages = "1 vol. (166 p.)",
note = "Thèse de doctorat dirigée par Rusinowitch, Michaël Sciences appliquées Nancy 1 1994",
note = "1994NAN10022",
}