Beierle C, Spang A, Haldimann J. A Partial MaxSAT Approach to Nonmonotonic Reasoning with System W. FLAIRS [Internet]. 2024 May 13 [cited 2024 Nov. 23];37(1). Available from: https://journals.flvc.org/FLAIRS/article/view/135330