A Partial MaxSAT Approach to Nonmonotonic Reasoning with System W. - Christoph Beierle; Aron Spang; Jonas Haldimann (FLAIRS, 2024)

Using SAT and Partial MaxSAT for Reasoning with System Z and System W. - Christoph Beierle; Aron Spang; Jonas Haldimann (NMR, 2024)

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)

The InfOCF Library for Reasoning With Conditional Belief Bases. - Christoph Beierle; Jonas Haldimann; Arthur Sanin; Aron Spang; Lars-Phillip Spiegel; Martin von Berg (JELIA (2), 2025)