Theorem Provers For Every Normal Modal Logic. - Tobias Gleißner; Alexander Steen; Christoph Benzmüller (LPAR, 2017)

The MET: The Art of Flexible Reasoning with Modalities. - Tobias Gleißner; Alexander Steen (RuleML+RR, 2018)

Automated Reasoning in Non-classical Logics in the TPTP World. - Alexander Steen; David Fuenmayor; Tobias Gleißner; Geoff Sutcliffe; Christoph Benzmüller (PAAR@IJCAR, 2022)

Knowledge Augmented Machine Learning with Applications in Autonomous Driving: A Survey. - Julian Wörmann; Daniel Bogdoll; Etienne Bührle; Han Chen; Evaristus Fuh Chuo; Kostadin Cvejoski; Ludger van Elst; Tobias Gleißner; Philip Gottschall; Stefan Griesche; Christian Hellert; Christian Hesels; et al. (CoRR, 2022)

Solving QMLTP Problems by Translation to Higher-order Logic. - Alexander Steen; Geoff Sutcliffe; Tobias Gleißner; Christoph Benzmüller (CoRR, 2022)