@PHDTHESIS{gorín2009,
url = "http://www.theses.fr/2009NAN10131",
title = "Automated reasoning techniques for hybrid logics",
author = "Gorín, Daniel Alejandro",
year = "2009",
note = "Thèse de doctorat dirigée par Blackburn, Patrick et Becher, Verónica Informatique Nancy 1 2009",
note = "2009NAN10131",
url = "http://www.theses.fr/2009NAN10131/document",
}