Beierle, C. et al. 2024. A Partial MaxSAT Approach to Nonmonotonic Reasoning with System W. The International FLAIRS Conference Proceedings. 37, 1 (May 2024). DOI:https://doi.org/10.32473/flairs.37.1.135330.