Srba J. Visibly Pushdown Automata: From Language Equivalence to Simulation and Bisimulation. BRICS [Internet]. 2006 Jul. 12 [cited 2025 Feb. 17];13(13). Available from: https://tidsskrift.dk/brics/article/view/21918