C. Beierle, A. Spang, and J. Haldimann, “A Partial MaxSAT Approach to Nonmonotonic Reasoning with System W”, FLAIRS, vol. 37, no. 1, May 2024.