@article{Basin_1994,
    doi = {10.1016/0020-0190(94)00084-0},
    url = {https://doi.org/10.1016%2F0020-0190%2894%2900084-0},
    year = {1994},
    month = {jul},
    publisher = {Elsevier {BV}},
    volume = {51},
    number = {2},
    pages = {61--66},
    author = {David A. Basin},
    title = {A term equality problem equivalent to graph isomorphism},
    journal = {Information Processing Letters}
}

@article{Basin_1994, doi = {10.1016/0020-0190(94)00084-0}, url = {https://doi.org/10.1016%2F0020-0190%2894%2900084-0}, year = {1994}, month = {jul}, publisher = {Elsevier {BV}}, volume = {51}, number = {2}, pages = {61--66}, author = {David A. Basin}, title = {A term equality problem equivalent to graph isomorphism}, journal = {Information Processing Letters} }