@Inproceedings{EPTCS252.14, author = {Holzer, Markus and Kutrib, Martin and Malcher, Andreas and Wendlandt, Matthias}, year = {2017}, title = {Input-Driven Double-Head Pushdown Automata}, editor = {Csuhaj-Varj\'u, Erzs\'ebet and D\"om\"osi, P\'al and Vaszil, Gy\"orgy}, booktitle = {{\rm Proceedings 15th International Conference on} Automata and Formal Languages, {\rm Debrecen, Hungary, September 4-6, 2017}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {252}, publisher = {Open Publishing Association}, pages = {128-142}, doi = {10.4204/EPTCS.252.14}, }