@inproceedings{Richardson_1994,
    series = {ISSAC ’94},
    title = {The identity problem for elementary functions and constants},
    url = {http://dx.doi.org/10.1145/190347.190429},
    doi = {10.1145/190347.190429},
    booktitle = {Proceedings of the international symposium on Symbolic and algebraic computation  - ISSAC ’94},
    publisher = {ACM Press},
    author = {Richardson, Dan and Fitch, John},
    year = {1994},
    collection = {ISSAC ’94},
    date-added = {2023-11-24 8:53:6 +0100}
}

@inproceedings{Richardson_1994, series = {ISSAC ’94}, title = {The identity problem for elementary functions and constants}, url = {http://dx.doi.org/10.1145/190347.190429}, doi = {10.1145/190347.190429}, booktitle = {Proceedings of the international symposium on Symbolic and algebraic computation - ISSAC ’94}, publisher = {ACM Press}, author = {Richardson, Dan and Fitch, John}, year = {1994}, collection = {ISSAC ’94}, date-added = {2023-11-24 8:53:6 +0100} }