@conference {46,
	title = { Model Checking Propositional Deontic Temporal Logic via a mu-Calculus Characterization},
	booktitle = {15th Brazilian Symposium on Formal Methods (SBMF 2012)},
	year = {2012},
	month = {09/2012},
	publisher = {Springer},
	organization = {Springer},
	address = {Natal, Brazil},
	author = {Araceli Acosta and Cecilia Kilmurray and Pablo F. Castro and Nazareno Aguirre}
}