@thesis{Burato2010,
       author = "Burato, Elisa",
       title  = "Meaning Negotiation in Multiple Agent Systms: An Automated Reasoning Approach",
       year   = 2010,
       type   = "PhD",
       school = "Dipartimento di Informatica, Università di Verona"
}