@article{Droste_2019,
    doi = {10.1016/j.tcs.2019.01.016},
    url = {https://doi.org/10.1016%2Fj.tcs.2019.01.016},
    year = {2019},
    month = {jul},
    publisher = {Elsevier {BV}},
    volume = {777},
    pages = {252--259},
    author = {Manfred Droste and Sven Dziadek and Werner Kuich},
    title = {Weighted simple reset pushdown automata},
    journal = {Theoretical Computer Science}
}

@article{Droste_2019, doi = {10.1016/j.tcs.2019.01.016}, url = {https://doi.org/10.1016%2Fj.tcs.2019.01.016}, year = {2019}, month = {jul}, publisher = {Elsevier {BV}}, volume = {777}, pages = {252--259}, author = {Manfred Droste and Sven Dziadek and Werner Kuich}, title = {Weighted simple reset pushdown automata}, journal = {Theoretical Computer Science} }