Beierle, Christoph, et al. “A Partial MaxSAT Approach to Nonmonotonic Reasoning With System W”. The International FLAIRS Conference Proceedings, vol. 37, no. 1, May 2024, doi:10.32473/flairs.37.1.135330.