Notice
This item was automatically migrated from a legacy system. It's data has not been checked and might not meet the quality criteria of the present system.
Spendier, L. (2013). Automated Support for the Investigation of Paraconsistent and Other Logics. 4th World Congress on Universal Logic, Rio de Janeiro, Non-EU. http://hdl.handle.net/20.500.12708/85580