TY  - RPRT
TI  - Variations of Checking Stack Automata: Obtaining Unexpected Decidability Properties
AU  - Oscar H. Ibarra
AU  - Ian McQuillan
PY  - 2019
DO  - 10.1016/j.tcs.2018.04.024
UR  - https://arxiv.org/abs/1705.09732
ID  - 1705.09732
ER  -