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, Oct. 2017.