@article{CIAA-J-2013-CaralpRT15,
	author        = "Mathieu Caralp and Pierre-Alain Reynier and Jean-Marc Talbot",
	doi           = "10.1016/j.tcs.2015.01.018",
	journal       = "{Theor. Comput. Sci}",
	pages         = "13--29",
	publisher     = "{Elsevier}",
	title         = "{Trimming visibly pushdown automata}",
	volume        = 578,
	year          = 2015,
}