Beierle C, Spang A, Haldimann J. A Partial MaxSAT Approach to Nonmonotonic Reasoning with System W. FLAIRS [Internet]. 13 mai 2024 [cité 6 oct. 2024];37(1). Disponible à: https://journals.flvc.org/FLAIRS/article/view/135330