Beierle, C., Spang, A. and Haldimann, J. (2024) “A Partial MaxSAT Approach to Nonmonotonic Reasoning with System W”, The International FLAIRS Conference Proceedings, 37(1). doi: 10.32473/flairs.37.1.135330.