@article{beeson2017a,
	author = {Michael Beeson and Larry Wos},
	date-added = {2015-10-06 19:33:01 +0000},
	date-modified = {2017-03-09 05:40:12 +0000},
	journal = {Journal of Automated Reasoning},
	month = {January},
	number = {1},
	pages = {181-207},
	title = {Finding Proofs in {T}arskian Geometry},
	url_pdf = {Tarski-JAR.pdf},
	volume = {58},
	year = {2017}}

{"_id":"MuTQFxygkBi5MHp2n","bibbaseid":"beeson-wos-findingproofsintarskiangeometry-2017","author_short":["Beeson, M.","Wos, L."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Michael"],"propositions":[],"lastnames":["Beeson"],"suffixes":[]},{"firstnames":["Larry"],"propositions":[],"lastnames":["Wos"],"suffixes":[]}],"date-added":"2015-10-06 19:33:01 +0000","date-modified":"2017-03-09 05:40:12 +0000","journal":"Journal of Automated Reasoning","month":"January","number":"1","pages":"181-207","title":"Finding Proofs in Tarskian Geometry","url_pdf":"Tarski-JAR.pdf","volume":"58","year":"2017","bibtex":"@article{beeson2017a,\n\tauthor = {Michael Beeson and Larry Wos},\n\tdate-added = {2015-10-06 19:33:01 +0000},\n\tdate-modified = {2017-03-09 05:40:12 +0000},\n\tjournal = {Journal of Automated Reasoning},\n\tmonth = {January},\n\tnumber = {1},\n\tpages = {181-207},\n\ttitle = {Finding Proofs in {T}arskian Geometry},\n\turl_pdf = {Tarski-JAR.pdf},\n\tvolume = {58},\n\tyear = {2017}}\n\n","author_short":["Beeson, M.","Wos, L."],"key":"beeson2017a","id":"beeson2017a","bibbaseid":"beeson-wos-findingproofsintarskiangeometry-2017","role":"author","urls":{" pdf":"http://www.michaelbeeson.com/research/papers/Tarski-JAR.pdf"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"http://www.michaelbeeson.com/research/papers/beeson.bib","dataSources":["v9esbf6gQ8h64d3NA"],"keywords":[],"search_terms":["finding","proofs","tarskian","geometry","beeson","wos"],"title":"Finding Proofs in Tarskian Geometry","year":2017}