Holger Bock Axelsen, Martin Kutrib, Andreas Malcher. Reversible Shrinking Two-Pushdown Automata. Journal of Automata, Languages and Combinatorics, 27(1-3):47-77, 2022. [doi]
@article{AxelsenKM22,
title = {Reversible Shrinking Two-Pushdown Automata},
author = {Holger Bock Axelsen and Martin Kutrib and Andreas Malcher},
year = {2022},
doi = {10.25596/jalc-2022-047},
url = {https://doi.org/10.25596/jalc-2022-047},
researchr = {https://researchr.org/publication/AxelsenKM22},
cites = {0},
citedby = {0},
journal = {Journal of Automata, Languages and Combinatorics},
volume = {27},
number = {1-3},
pages = {47-77},
}