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]
Abstract is missing.