@phdthesis
	{
	Mog11,
	author			=	"Fabio Mogavero",
	title				=	"{Logics in Computer Science.}",
	school			=	"Universit\'a degli Studi di Napoli “Federico II”, Italy",
	month				= "January",
	year				=	"2011"
	}