Compilation-based Techniques for Evaluating Normal Logic Programs Under the Well-founded Semantics. - Andrea Cuteri; Giuseppe Mazzotta; Francesco Ricca (CILC, 2023)

Automata-based LTL_f Satisfiability Checking via ASP. - Andrea Cuteri; Giuseppe Mazzotta; Rafael Peñaloza; Francesco Ricca (AI4CC-IPS-RCRA-SPIRIT@AI*IA, 2024)

Toward Executing Datalog on Big Data Platforms. - Andrea Cuteri; Giuseppe Mazzotta; Francesco Ricca (CILC, 2025)

Lazy Atom Discovery in Compilation-Based ASP Solving. - Andrea Cuteri; Giuseppe Mazzotta; Francesco Ricca (JELIA (1), 2025)