Beierle, Christoph, Aron Spang, and Jonas Haldimann. “A Partial MaxSAT Approach to Nonmonotonic Reasoning With System W”. The International FLAIRS Conference Proceedings 37, no. 1 (May 13, 2024). Accessed December 3, 2024. https://journals.flvc.org/FLAIRS/article/view/135330.