Beierle, C.; Spang, A.; Haldimann, J. A Partial MaxSAT Approach to Nonmonotonic Reasoning With System W. FLAIRS 2024, 37.