Agata Ciabattoni, Ori Lahav, Lara Spendier, Anna Zamansky. Automated Support for the Investigation of Paraconsistent and Other Logics. In Sergei N. Artëmov, Anil Nerode, editors, Logical Foundations of Computer Science, International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings. Volume 7734 of Lecture Notes in Computer Science, pages 119-133, Springer, 2013. [doi]
@inproceedings{CiabattoniLSZ13,
title = {Automated Support for the Investigation of Paraconsistent and Other Logics},
author = {Agata Ciabattoni and Ori Lahav and Lara Spendier and Anna Zamansky},
year = {2013},
doi = {10.1007/978-3-642-35722-0_9},
url = {http://dx.doi.org/10.1007/978-3-642-35722-0_9},
researchr = {https://researchr.org/publication/CiabattoniLSZ13},
cites = {0},
citedby = {0},
pages = {119-133},
booktitle = {Logical Foundations of Computer Science, International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings},
editor = {Sergei N. Artëmov and Anil Nerode},
volume = {7734},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-35722-0},
}