Realization of c-Inference as a SAT Problem. - Christoph Beierle; Martin von Berg; Arthur Sanin (FLAIRS, 2022)

Representing Nonmonotonic Inference Based on c-Representations as an SMT Problem. - Martin von Berg; Arthur Sanin; Christoph Beierle (ECSQARU, 2023)

Scaling up Nonmonotonic c-Inference via Partial MaxSAT Problems. - Martin von Berg; Arthur Sanin; Christoph Beierle (FoIKS, 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)

An implementation of nonmonotonic reasoning with c-representations using an SMT solver. - Martin von Berg; Arthur Sanin; Christoph Beierle (Int. J. Approx. Reason., 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)