@inproceedings{A.Ciabattoni2013,
	title = {Automated {Support} for the {Investigation} of {Paraconsistent} and {Other} {Logics}},
	author = {{A. Ciabattoni} and {O. Lahav} and {L. Spendier} and {A. Zamansky}},
	year = {2013},
	note = {00000},
	pages = {119--133},
}

{"_id":"wtymwZpZh2rdnePzx","bibbaseid":"aciabattoni-olahav-lspendier-azamansky-automatedsupportfortheinvestigationofparaconsistentandotherlogics-2013","author_short":["A. Ciabattoni","O. Lahav","L. Spendier","A. Zamansky"],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Automated Support for the Investigation of Paraconsistent and Other Logics","author":[{"firstnames":[],"propositions":[],"lastnames":["A. Ciabattoni"],"suffixes":[]},{"firstnames":[],"propositions":[],"lastnames":["O. Lahav"],"suffixes":[]},{"firstnames":[],"propositions":[],"lastnames":["L. Spendier"],"suffixes":[]},{"firstnames":[],"propositions":[],"lastnames":["A. Zamansky"],"suffixes":[]}],"year":"2013","note":"00000","pages":"119–133","bibtex":"@inproceedings{A.Ciabattoni2013,\n\ttitle = {Automated {Support} for the {Investigation} of {Paraconsistent} and {Other} {Logics}},\n\tauthor = {{A. Ciabattoni} and {O. Lahav} and {L. Spendier} and {A. Zamansky}},\n\tyear = {2013},\n\tnote = {00000},\n\tpages = {119--133},\n}\n\n","author_short":["A. Ciabattoni","O. Lahav","L. Spendier","A. Zamansky"],"key":"A.Ciabattoni2013","id":"A.Ciabattoni2013","bibbaseid":"aciabattoni-olahav-lspendier-azamansky-automatedsupportfortheinvestigationofparaconsistentandotherlogics-2013","role":"author","urls":{},"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://bibbase.org/zotero/brunocpt","dataSources":["9N7FyBLqJ5Q2Suqzs"],"keywords":[],"search_terms":["automated","support","investigation","paraconsistent","logics","a. ciabattoni","o. lahav","l. spendier","a. zamansky"],"title":"Automated Support for the Investigation of Paraconsistent and Other Logics","year":2013}