@inproceedings{AFL-2017-HolzerKMW,
	author        = "Markus Holzer and Martin Kutrib and Andreas Malcher and Matthias Wendlandt",
	booktitle     = "{Proceedings 15th International Conference on Automata and Formal Languages}",
	doi           = "10.4204/EPTCS.252.14",
	ee            = "http://arxiv.org/abs/1708.06464",
	pages         = "128--142",
	title         = "{Input-Driven Double-Head Pushdown Automata}",
	year          = 2017,
}