An Implementation of Nonmonotonic Reasoning with System W. - Christoph Beierle; Jonas Haldimann; Daniel Kollár; Kai Sauerwald; Leon Schwarzer (KI, 2022)

Observational Equivalence of Conditional Belief Bases. - Christoph Beierle; Jonas Haldimann; Leon Schwarzer (FLAIRS, 2023)

Scaling Up Reasoning from Conditional Belief Bases. - Christoph Beierle; Jonas Haldimann; Arthur Sanin; Leon Schwarzer; Aron Spang; Lars-Phillip Spiegel; Martin von Berg (SUM, 2024)

CLKR: Conditional Logic and Knowledge Representation. - Christoph Beierle; Jonas Haldimann; Leon Schwarzer (Künstliche Intell., 2024)