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]
@inproceedings{AlvianoDFPR22,
title = {Enumeration of Minimal Models and MUSes in WASP},
author = {Mario Alviano and Carmine Dodaro and Salvatore Fiorentino and Alessandro Previti and Francesco Ricca},
year = {2022},
doi = {10.1007/978-3-031-15707-3_3},
url = {https://doi.org/10.1007/978-3-031-15707-3_3},
researchr = {https://researchr.org/publication/AlvianoDFPR22},
cites = {0},
citedby = {0},
pages = {29-42},
booktitle = {Logic Programming and Nonmonotonic Reasoning - 16th International Conference, LPNMR 2022, Genova, Italy, September 5-9, 2022, Proceedings},
editor = {Georg Gottlob and Daniela Inclezan and Marco Maratea},
volume = {13416},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-031-15707-3},
}