@ARTICLE {
	AUTHOR = "Marcelo Arenas and Pablo Barcel{\'o} and Leonid Libkin",
	TITLE ="Regular Languages of Nested Words: Fixed Points, Automata, and Synchronization",
	JOURNAL = "Theory of Computing Systems (ToCS)",
	VOLUME = "49",
	NUMBER = "3",
	PAGES = "639-670",
	YEAR = "2011",
	PUBLISHER = "Springer-Verlag",
	ADDRESS = "Berlin/Heidelberg, Germany",
	ISSN ="1433-0490",
	}