@inbook{a9c93b1dfe624be88e5d50d6892fc6bc,
title = "The Identity Problem for Elementary Functions and Constants",
author = "Richardson, {D S} and Fitch, {John P}",
year = "1994",
month = jul,
doi = "10.1145/190347.190429",
language = "English",
series = "ISSAC",
publisher = "Association for Computing Machinery",
pages = "285--290",
booktitle = "ISSAC '94 Proceedings of the international symposium on Symbolic and algebraic computation",
address = "USA United States",
note = "ISSAC'94 ; Conference date: 01-07-1994",
}