@inproceedings
	{
	MM09,
	author			=	"Fabio Mogavero and Aniello Murano",
	title				=	"{Branching-Time Temporal Logics with Minimal Model
								Quantifiers.}",
	booktitle		=	"13th International Conference on Developments in Language
								Theory (DLT'09), June 30 - July 3, 2009, Stuttgart, Germany",
	series			= "LNCS",
	volume			= "5583",
	publisher		=	"Springer-Verlag",
	issn				=	"0302-9743",
	isbn				=	"978-3-642-02736-9",
	pages				=	"396-409",
	year				=	"2009"
	}