Embedding of Quantified Higher-Order Nominal Modal Logic into Classical Higher-Order Logic. - Max Wisniewski; Alexander Steen (ARQNL@IJCAR, 2014)

There Is No Best beta -Normalization Strategy for Higher-Order Reasoners. - Alexander Steen; Christoph Benzmüller (LPAR, 2015)

LeoPARD - A Generic Platform for the Implementation of Higher-Order Reasoners. - Max Wisniewski; Alexander Steen; Christoph Benzmüller (CICM, 2015)

Towards a Substitution Tree Based Index for Higher-order Resolution Theorem Provers. - Tomer Libal; Alexander Steen (PAAR@IJCAR, 2016)

TPTP and Beyond: Representation of Quantified Non-Classical Logics. - Max Wisniewski; Alexander Steen; Christoph Benzmüller (ARQNL@IJCAR, 2016)

Effective Normalization Techniques for HOL. - Max Wisniewski; Alexander Steen; Kim Kern; Christoph Benzmüller (IJCAR, 2016)

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

Agent-Based HOL Reasoning. - Alexander Steen; Max Wisniewski; Christoph Benzmüller (ICMS, 2016)

Einsatz von Theorembeweisern in der Lehre. - Alexander Steen; Max Wisniewski; Christoph Benzmüller (HDI, 2016)

Leo-III Version 1.1 (System description). - Christoph Benzmüller; Alexander Steen; Max Wisniewski (LPAR (Short Presentations), 2017)

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

Going Polymorphic - TH1 Reasoning for Leo-III. - Alexander Steen; Max Wisniewski; Christoph Benzmüller (IWIL@LPAR, 2017)

Capability Discovery for Automated Reasoning Systems. - Alexander Steen; Max Wisniewski; Hans-Jörg Schurr; Christoph Benzmüller (IWIL@LPAR, 2017)

System Demonstration: The Higher-Order Prover Leo-III. - Alexander Steen; Christoph Benzmüller (ARQNL@IJCAR, 2018)

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

Extensional paramodulation for higher-order logic and its effective implementation Leo-III. - Alexander Steen (IOS Press, 2018)

NAI: The Normative Reasoner. - Tomer Libal; Alexander Steen (ICAIL, 2019)

The NAI Suite - Drafting and Reasoning over Legal Texts. - Tomer Libal; Alexander Steen (JURIX, 2019)

The Higher-Order Prover Leo-III (Extended Abstract). - Alexander Steen; Christoph Benzmüller (KI, 2019)

Higher-order theorem proving and its applications. - Alexander Steen (it Inf. Technol., 2019)

Towards an Executable Methodology for the Formalization of Legal Texts. - Tomer Libal; Alexander Steen (CLAR, 2020)

The Higher-Order Prover Leo-III. - Alexander Steen; Christoph Benzmüller (ECAI, 2020)

On Reductions of Hintikka Sets for Higher-Order Logic. - Alexander Steen; Christoph Benzmüller (CoRR, 2020)

Extensional Paramodulation for Higher-Order Logic and Its Effective Implementation Leo-III. - Alexander Steen (Künstliche Intell., 2020)

Leo-III 1.5 - A Theorem Prover for Higher-Order Logic. - Alexander Steen; Christoph Benzmueller (Zenodo, 2020)

Goal-Directed Decision Procedures for Input/Output Logics. - Alexander Steen (DEON, 2021)

A Formalisation of Abstract Argumentation in Higher-Order Logic. - Alexander Steen; David Fuenmayor (CoRR, 2021)

Extensional Higher-Order Paramodulation in Leo-III. - Alexander Steen; Christoph Benzmüller (J. Autom. Reason., 2021)

Leo-III - A Theorem Prover for Higher-Order Logic. - Alexander Steen; Christoph Benzmueller (Zenodo, 2021)

An Extensible Logic Embedding Tool for Lightweight Non-Classical Reasoning (short paper). - Alexander Steen (PAAR@IJCAR, 2022)

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)

Bridging Between LegalRuleML and TPTP for Automated Normative Reasoning. - Alexander Steen; David Fuenmayor (RuleML+RR, 2022)

Automation of Boolos' Curious Inference in Isabelle/HOL. - Christoph Benzmüller; David Fuenmayor; Alexander Steen; Geoff Sutcliffe (Arch. Formal Proofs, 2022)

An Extensible Logic Embedding Tool for Lightweight Non-Classical Reasoning. - Alexander Steen (CoRR, 2022)

Who Finds the Short Proof? An Exploration of Variants of Boolos' Curious Inference using Higher-order Automated Theorem Provers. - Christoph Benzmüller; David Fuenmayor; Alexander Steen; Geoff Sutcliffe (CoRR, 2022)

Bridging between LegalRuleML and TPTP for Automated Normative Reasoning (extended version). - Alexander Steen; David Fuenmayor (CoRR, 2022)

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

Solving Modal Logic Problems by Translation to Higher-Order Logic. - Alexander Steen; Geoff Sutcliffe; Tobias Scholl; Christoph Benzmüller (CLAR, 2023)

Flexible Automation of Quantified Multi-Modal Logics with Interactions. - Melanie Taprogge; Alexander Steen (KI, 2023)

Representation, Verification, and Visualization of Tarskian Interpretations for Typed First-order Logic. - Alexander Steen; Geoff Sutcliffe; Pascal Fontaine; Jack McKeown (LPAR, 2023)

TPTP World Infrastructure for Non-classical Logics. - Alexander Steen; Geoff Sutcliffe (PAAR+SC²@IJCAR, 2024)

The New TPTP Format for Interpretations. - Geoff Sutcliffe; Alexander Steen; Pascal Fontaine (CoRR, 2024)

Who finds the short proof? - Christoph Benzmüller; David Fuenmayor; Alexander Steen; Geoff Sutcliffe (Log. J. IGPL, 2024)

Supplemental material to "Solving Quantified Modal Logic Problems by Translation to Classical Logics". - Alexander Steen; Geoff Sutcliffe; Christoph Benzmüller (Zenodo, 2024)

Non-Classical Reasoning for Contemporary AI Applications. - Alexander Steen; Christoph Benzmüller (Künstliche Intell., 2024)

Challenges for Non-Classical Reasoning in Contemporary AI Applications. - Alexander Steen; Christoph Benzmüller (Künstliche Intell., 2024)

What are Non-classical Logics and Why Do We Need Them? An Extended Interview with Dov Gabbay and Leon van der Torre. - Alexander Steen; Christoph Benzmüller (Künstliche Intell., 2024)

An encoding of abstract dialectical frameworks into higher-order logic. - Antoine Martina; Alexander Steen (J. Log. Comput., 2025)