Flouri, T. “On Tree Pattern Matching by Pushdown Automata”. Acta Polytechnica 49, no. 2 (January 2, 2009). Accessed May 5, 2024. https://ojs.cvut.cz/ojs/index.php/ap/article/view/1113.