@inbook{0ae8942cd6d84deb9dbbdc56db2c59ee,
title = "Simulation of two-way pushdown automata revisited",
author = "Robert Gl{\"u}ck",
year = "2013",
doi = "10.4204/EPTCS.129.15",
language = "English",
volume = "129",
series = "Electronic Proceedings in Theoretical Computer Science",
publisher = "Open Publishing Association",
pages = "250--258",
editor = "Anindya Banerjee and Olivier Danvy and Kyung-Goo Doh and John Hatcliff",
booktitle = "Semantics, abstract interpretation, and reasoning about programs",
}