Alexander Steen, Max Wisniewski, Christoph Benzmüller: Tutorial on Reasoning in Expressive Non-Classical Logics with Isabelle/HOL. GCAI 2016: 1-10