Beierle, Christoph, Aron Spang, and Jonas Haldimann. 2024. “A Partial MaxSAT Approach to Nonmonotonic Reasoning With System W”. The International FLAIRS Conference Proceedings 37 (1). https://doi.org/10.32473/flairs.37.1.135330.