Osborn, J.; Ryan, J.; Mateas, M. Analyzing Expressionist Grammars by Reduction to Symbolic Visibly Pushdown Automata. AIIDE 2021, 13, 216-224.