@article{Corradini_2002,
    doi = {10.1093/logcom/12.2.301},
    url = {https://doi.org/10.1093%2Flogcom%2F12.2.301},
    year = {2002},
    month = {apr},
    publisher = {Oxford University Press ({OUP})},
    volume = {12},
    number = {2},
    pages = {301--320},
    author = {F. Corradini},
    title = {An Equational Axiomatization of Bisimulation over Regular Expressions},
    journal = {Journal of Logic and Computation}
}

@article{Corradini_2002, doi = {10.1093/logcom/12.2.301}, url = {https://doi.org/10.1093%2Flogcom%2F12.2.301}, year = {2002}, month = {apr}, publisher = {Oxford University Press ({OUP})}, volume = {12}, number = {2}, pages = {301--320}, author = {F. Corradini}, title = {An Equational Axiomatization of Bisimulation over Regular Expressions}, journal = {Journal of Logic and Computation} }