@PHDTHESIS{Lang1991,
url = "
		http://www.theses.fr/1991TOU30009",
title = "Logique possibiliste : aspects formels, deduction automatique, et applications",
author = "Lang, Jérôme",
year = "1991",
note = "Thèse de doctorat dirigée par Prade, Henri Sciences et techniques communes Toulouse 3 1991",
note = "1991TOU30009",
}