L. Spendier: "Automated support for the investigation of paraconsistent and other logics"; Talk: Collegium Logicum 2012: Structural Proof Theory, Paris, France; 2012-11-15 - 2012-11-16.