Mario Alviano, Carmine Dodaro, Salvatore Fiorentino, Alessandro Previti, Francesco Ricca. Enumeration of Minimal Models and MUSes in WASP. In Georg Gottlob, Daniela Inclezan, Marco Maratea, editors, Logic Programming and Nonmonotonic Reasoning - 16th International Conference, LPNMR 2022, Genova, Italy, September 5-9, 2022, Proceedings. Volume 13416 of Lecture Notes in Computer Science, pages 29-42, Springer, 2022. [doi]
Abstract is missing.