@article{KU_ERA_2006,
    doi = {10.1017/s1471068406002651},
    url = {https://doi.org/10.1017%2Fs1471068406002651},
    year = {2006},
    month = {may},
    publisher = {Cambridge University Press ({CUP})},
    volume = {6},
    number = {3},
    pages = {227--264},
    author = {ANTON{\'{I}}N KU{\v{C}}ERA and PETR JAN{\v{C}}AR},
    title = {Equivalence-checking on infinite-state systems: Techniques and results},
    journal = {Theory and Practice of Logic Programming}
}

@article{KU_ERA_2006, doi = {10.1017/s1471068406002651}, url = {https://doi.org/10.1017%2Fs1471068406002651}, year = {2006}, month = {may}, publisher = {Cambridge University Press ({CUP})}, volume = {6}, number = {3}, pages = {227--264}, author = {ANTON{\'{I}}N KU{\v{C}}ERA and PETR JAN{\v{C}}AR}, title = {Equivalence-checking on infinite-state systems: Techniques and results}, journal = {Theory and Practice of Logic Programming} }