J. Osborn, J. Ryan, and M. Mateas, “Analyzing Expressionist Grammars by Reduction to Symbolic Visibly Pushdown Automata”, AIIDE, vol. 13, no. 2, pp. 216-224, Jun. 2021.