@article{L_ding_2014,
    doi = {10.4204/eptcs.151.4},
    url = {https://doi.org/10.4204%2Feptcs.151.4},
    year = {2014},
    month = {may},
    publisher = {Open Publishing Association},
    volume = {151},
    pages = {55--73},
    author = {Christof Löding},
    title = {Decision Problems for Deterministic Pushdown Automata on Infinite Words},
    journal = {Electronic Proceedings in Theoretical Computer Science}
}

@article{L_ding_2014, doi = {10.4204/eptcs.151.4}, url = {https://doi.org/10.4204%2Feptcs.151.4}, year = {2014}, month = {may}, publisher = {Open Publishing Association}, volume = {151}, pages = {55--73}, author = {Christof Löding}, title = {Decision Problems for Deterministic Pushdown Automata on Infinite Words}, journal = {Electronic Proceedings in Theoretical Computer Science} }