Osborn J, Ryan J, Mateas M. Analyzing Expressionist Grammars by Reduction to Symbolic Visibly Pushdown Automata. AIIDE [Internet]. 2021Jun.25 [cited 2024May23];13(2):216-24. Available from: https://ojs.aaai.org/index.php/AIIDE/article/view/13001