MoL-2007-07: Bello, Marcello Di (2007) Formalizing Legislation in the Event Calculus: The Case of the Italian Citizenship Law. [Report]