Automated Support for the Investigation of Paraconsistent and Other Logics. A. Ciabattoni, O. Lahav, L. Spendier, & A. Zamansky In pages 119–133, 2013. 00000
bibtex   
@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},
}

Downloads: 0