Osborn, J., J. Ryan, and M. Mateas. “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, June 2021, pp. 216-24, doi:10.1609/aiide.v13i2.13001.