@article{HirshfeldJerrumMoller:MSCS:1996,
    author = {Hirshfeld, Yoram and Jerrum, Mark and Moller, Faron},
    journal = {Mathematical Structures in Computer Science},
    number = {3},
    pages = {251–259},
    publisher = {Cambridge University Press},
    title = {A polynomial-time algorithm for deciding bisimulation equivalence of normed Basic Parallel Processes},
    volume = {6},
    year = {1996},
    doi = {10.1017/S0960129500000992}
}

@article{HirshfeldJerrumMoller:MSCS:1996, author = {Hirshfeld, Yoram and Jerrum, Mark and Moller, Faron}, journal = {Mathematical Structures in Computer Science}, number = {3}, pages = {251–259}, publisher = {Cambridge University Press}, title = {A polynomial-time algorithm for deciding bisimulation equivalence of normed Basic Parallel Processes}, volume = {6}, year = {1996}, doi = {10.1017/S0960129500000992} }