@PHDTHESIS{bouzi1995,
url = "http://www.theses.fr/1995NAN10337",
title = "Contribution au raisonnement temporel : application aux systèmes de maintien de vérité",
author = "Bouzid, Maroua",
year = "1995",
pages = "1 vol. (151 p.)",
note = "Thèse de doctorat dirigée par Haton, Jean-Paul et Charpillet, François Informatique Nancy 1 1995",
note = "1995NAN10337",
}