@article{Groote_1996,
    doi = {10.1016/s0304-3975(96)80702-x},
    url = {https://doi.org/10.1016%2Fs0304-3975%2896%2980702-x},
    year = {1996},
    month = {dec},
    publisher = {Elsevier {BV}},
    volume = {170},
    number = {1-2},
    pages = {47--81},
    author = {J.F. Groote and M.P.A. Sellink},
    title = {Confluence for process verification},
    journal = {Theoretical Computer Science}
}

@article{Groote_1996, doi = {10.1016/s0304-3975(96)80702-x}, url = {https://doi.org/10.1016%2Fs0304-3975%2896%2980702-x}, year = {1996}, month = {dec}, publisher = {Elsevier {BV}}, volume = {170}, number = {1-2}, pages = {47--81}, author = {J.F. Groote and M.P.A. Sellink}, title = {Confluence for process verification}, journal = {Theoretical Computer Science} }