Osborn, Joseph, et al. “Analyzing Expressionist Grammars by Reduction to Symbolic Visibly Pushdown Automata”. Proceedings of the AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment, vol. 13, no. 2, Oct. 2017, pp. 216-24, doi:10.1609/aiide.v13i2.13001.