@article{Akbarpour_2009,
    doi = {10.1007/s10817-009-9149-2},
    url = {https://doi.org/10.1007%2Fs10817-009-9149-2},
    year = {2009},
    month = {aug},
    publisher = {Springer Science and Business Media {LLC}},
    volume = {44},
    number = {3},
    pages = {175--205},
    author = {Behzad Akbarpour and Lawrence Charles Paulson},
    title = {{MetiTarski}: An Automatic Theorem Prover for Real-Valued Special Functions},
    journal = {Journal of Automated Reasoning}
}

@article{Akbarpour_2009, doi = {10.1007/s10817-009-9149-2}, url = {https://doi.org/10.1007%2Fs10817-009-9149-2}, year = {2009}, month = {aug}, publisher = {Springer Science and Business Media {LLC}}, volume = {44}, number = {3}, pages = {175--205}, author = {Behzad Akbarpour and Lawrence Charles Paulson}, title = {{MetiTarski}: An Automatic Theorem Prover for Real-Valued Special Functions}, journal = {Journal of Automated Reasoning} }