Beierle, C., Spang, A., & Haldimann, J. (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