Martin Kutrib, Andreas Malcher, Larissa Werlein. Regulated nondeterminism in pushdown automata. Theoretical Computer Science, 410(37):3447-3460, 2009. [doi]
@article{KutribMW09,
title = {Regulated nondeterminism in pushdown automata},
author = {Martin Kutrib and Andreas Malcher and Larissa Werlein},
year = {2009},
doi = {10.1016/j.tcs.2009.06.002},
url = {http://dx.doi.org/10.1016/j.tcs.2009.06.002},
researchr = {https://researchr.org/publication/KutribMW09},
cites = {0},
citedby = {0},
journal = {Theoretical Computer Science},
volume = {410},
number = {37},
pages = {3447-3460},
}