@article{Ibarra_2016,
    doi = {10.3233/fi-2016-1436},
    url = {https://doi.org/10.3233%2Ffi-2016-1436},
    year = {2016},
    month = {dec},
    publisher = {{IOS} Press},
    volume = {148},
    number = {3-4},
    pages = {291--308},
    author = {Oscar H. Ibarra},
    editor = {Suna Bensch and Rudolf Freund and Mika Hirvensalo and Friedrich Otto},
    title = {Visibly Pushdown Automata and Transducers with Counters},
    journal = {Fundamenta Informaticae}
}

@article{Ibarra_2016, doi = {10.3233/fi-2016-1436}, url = {https://doi.org/10.3233%2Ffi-2016-1436}, year = {2016}, month = {dec}, publisher = {{IOS} Press}, volume = {148}, number = {3-4}, pages = {291--308}, author = {Oscar H. Ibarra}, editor = {Suna Bensch and Rudolf Freund and Mika Hirvensalo and Friedrich Otto}, title = {Visibly Pushdown Automata and Transducers with Counters}, journal = {Fundamenta Informaticae} }