@article{CIAA-J-2013-KutribMMPW15,
	author        = "Martin Kutrib and Andreas Malcher and Carlo Mereghetti and Beatrice Palano and Matthias Wendlandt",
	doi           = "10.1016/j.tcs.2015.01.012",
	journal       = "{Theor. Comput. Sci}",
	pages         = "58--71",
	publisher     = "{Elsevier}",
	title         = "{Deterministic input-driven queue automata: Finite turns, decidability, and closure properties}",
	volume        = 578,
	year          = 2015,
}