@inproceedings{SutcliffePH17,
		  author    = {Geoff Sutcliffe and
				                 Francis Jeffry Pelletier and
										                Allen P. Hazen},
		    title     = {Automated Reasoning for the Dialetheic Logic {RM3}},
			  booktitle = {Proceedings of the Thirtieth International Florida Artificial Intelligence
					                 Research Society Conference, {FLAIRS} 2017, Marco Island, Florida,
									                USA, May 22-24, 2017.},
			    pages     = {110--115},
				  year      = {2017},
}

{"_id":"AhL86E5Dov7zfYdBi","bibbaseid":"sutcliffe-pelletier-hazen-automatedreasoningforthedialetheiclogicrm3-2017","authorIDs":[],"author_short":["Sutcliffe, G.","Pelletier, F. J.","Hazen, A. P."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Geoff"],"propositions":[],"lastnames":["Sutcliffe"],"suffixes":[]},{"firstnames":["Francis","Jeffry"],"propositions":[],"lastnames":["Pelletier"],"suffixes":[]},{"firstnames":["Allen","P."],"propositions":[],"lastnames":["Hazen"],"suffixes":[]}],"title":"Automated Reasoning for the Dialetheic Logic RM3","booktitle":"Proceedings of the Thirtieth International Florida Artificial Intelligence Research Society Conference, FLAIRS 2017, Marco Island, Florida, USA, May 22-24, 2017.","pages":"110–115","year":"2017","bibtex":"@inproceedings{SutcliffePH17,\n\t\t author = {Geoff Sutcliffe and\n\t\t\t\t Francis Jeffry Pelletier and\n\t\t\t\t\t\t\t\t\t\t Allen P. Hazen},\n\t\t title = {Automated Reasoning for the Dialetheic Logic {RM3}},\n\t\t\t booktitle = {Proceedings of the Thirtieth International Florida Artificial Intelligence\n\t\t\t\t\t Research Society Conference, {FLAIRS} 2017, Marco Island, Florida,\n\t\t\t\t\t\t\t\t\t USA, May 22-24, 2017.},\n\t\t\t pages = {110--115},\n\t\t\t\t year = {2017},\n}\n\n","author_short":["Sutcliffe, G.","Pelletier, F. J.","Hazen, A. P."],"key":"SutcliffePH17","id":"SutcliffePH17","bibbaseid":"sutcliffe-pelletier-hazen-automatedreasoningforthedialetheiclogicrm3-2017","role":"author","urls":{},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"https://cs.stanford.edu/~yoniz/test.bib","creationDate":"2019-07-02T21:19:47.731Z","downloads":0,"keywords":[],"search_terms":["automated","reasoning","dialetheic","logic","rm3","sutcliffe","pelletier","hazen"],"title":"Automated Reasoning for the Dialetheic Logic RM3","year":2017,"dataSources":["ChWnbF8EqSa8nccMs"]}