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