@article{beeson2001,
	author = {Michael Beeson},
	date-added = {2014-11-13 23:28:10 +0000},
	date-modified = {2014-11-14 19:31:28 +0000},
	journal = {Journal of Symbolic Computation},
	keywords = {Automated deduction},
	number = {4},
	pages = {333-349},
	title = {Automatic derivation of the irrationality of e},
	url_pdf = {JSCVersion.pdf},
	volume = {32},
	year = {2001}}

{"_id":"ziYwSPcEujvw7Frr8","bibbaseid":"beeson-automaticderivationoftheirrationalityofe-2001","author_short":["Beeson, M."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Michael"],"propositions":[],"lastnames":["Beeson"],"suffixes":[]}],"date-added":"2014-11-13 23:28:10 +0000","date-modified":"2014-11-14 19:31:28 +0000","journal":"Journal of Symbolic Computation","keywords":"Automated deduction","number":"4","pages":"333-349","title":"Automatic derivation of the irrationality of e","url_pdf":"JSCVersion.pdf","volume":"32","year":"2001","bibtex":"@article{beeson2001,\n\tauthor = {Michael Beeson},\n\tdate-added = {2014-11-13 23:28:10 +0000},\n\tdate-modified = {2014-11-14 19:31:28 +0000},\n\tjournal = {Journal of Symbolic Computation},\n\tkeywords = {Automated deduction},\n\tnumber = {4},\n\tpages = {333-349},\n\ttitle = {Automatic derivation of the irrationality of e},\n\turl_pdf = {JSCVersion.pdf},\n\tvolume = {32},\n\tyear = {2001}}\n\n","author_short":["Beeson, M."],"key":"beeson2001","id":"beeson2001","bibbaseid":"beeson-automaticderivationoftheirrationalityofe-2001","role":"author","urls":{" pdf":"http://www.michaelbeeson.com/research/papers/JSCVersion.pdf"},"keyword":["Automated deduction"],"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"http://www.michaelbeeson.com/research/papers/beeson.bib","dataSources":["v9esbf6gQ8h64d3NA"],"keywords":["automated deduction"],"search_terms":["automatic","derivation","irrationality","beeson"],"title":"Automatic derivation of the irrationality of e","year":2001}