A. Ciabattoni: "Systematic proof theory for substructural logics and applications"; Talk: Mathematics for Computation, Niederaltaich; 2016-05-08 - 2016-05-13.