@article{Brunet_2016,
    doi = {10.1016/j.jlamp.2015.07.005},
    url = {https://doi.org/10.1016%2Fj.jlamp.2015.07.005},
    year = {2016},
    month = {jun},
    publisher = {Elsevier {BV}},
    volume = {85},
    number = {4},
    pages = {574--594},
    author = {Paul Brunet and Damien Pous},
    title = {Algorithms for Kleene algebra with converse},
    journal = {Journal of Logical and Algebraic Methods in Programming}
}

@article{Brunet_2016, doi = {10.1016/j.jlamp.2015.07.005}, url = {https://doi.org/10.1016%2Fj.jlamp.2015.07.005}, year = {2016}, month = {jun}, publisher = {Elsevier {BV}}, volume = {85}, number = {4}, pages = {574--594}, author = {Paul Brunet and Damien Pous}, title = {Algorithms for Kleene algebra with converse}, journal = {Journal of Logical and Algebraic Methods in Programming} }