Enumeration of Minimal Models and MUSes in WASP. - Mario Alviano; Carmine Dodaro; Salvatore Fiorentino; Alessandro Previti; Francesco Ricca (LPNMR, 2022)

ASP and subset minimality: Enumeration, cautious reasoning and MUSes. - Mario Alviano; Carmine Dodaro; Salvatore Fiorentino; Alessandro Previti; Francesco Ricca (Artif. Intell., 2023)

AMO-aware Aggregates in Answer Set Programming. - Mario Alviano; Carmine Dodaro; Salvatore Fiorentino; Marco Maratea (IJCAI, 2024)

AMO-aware Aggregates in Answer Set Programming. - Mario Alviano; Carmine Dodaro; Salvatore Fiorentino; Marco Maratea (Zenodo, 2024)