@PHDTHESIS{hoffm2010,
url = "http://www.theses.fr/2010NAN10110",
title = "Tâches de raisonnement en logiques hybrides",
author = "Hoffmann, Guillaume",
year = "2010",
note = "Thèse de doctorat dirigée par Blackburn, Patrick Informatique Nancy 1 2010",
note = "2010NAN10110",
url = "http://www.theses.fr/2010NAN10110/document",
}