@article{_iri__2014,
    doi = {10.1016/j.ins.2013.07.029},
    url = {https://doi.org/10.1016%2Fj.ins.2013.07.029},
    year = {2014},
    month = {mar},
    publisher = {Elsevier {BV}},
    volume = {261},
    pages = {185--218},
    author = {Miroslav {\'{C}}iri{\'{c}} and Jelena Ignjatovi{\'{c}} and Milan Ba{\v{s}}i{\'{c}} and Ivana Jan{\v{c}}i{\'{c}}},
    title = {Nondeterministic automata: Equivalence, bisimulations, and uniform relations},
    journal = {Information Sciences}
}

@article{_iri__2014, doi = {10.1016/j.ins.2013.07.029}, url = {https://doi.org/10.1016%2Fj.ins.2013.07.029}, year = {2014}, month = {mar}, publisher = {Elsevier {BV}}, volume = {261}, pages = {185--218}, author = {Miroslav {\'{C}}iri{\'{c}} and Jelena Ignjatovi{\'{c}} and Milan Ba{\v{s}}i{\'{c}} and Ivana Jan{\v{c}}i{\'{c}}}, title = {Nondeterministic automata: Equivalence, bisimulations, and uniform relations}, journal = {Information Sciences} }