Decidable Fragments of Logic Programming with Value Invention. - Francesco Calimeri; Susanna Cozza; Giovambattista Ianni (JELIA, 2006)

External sources of knowledge and value invention in logic programming. - Francesco Calimeri; Susanna Cozza; Giovambattista Ianni (Ann. Math. Artif. Intell., 2007)

Computable Functions in ASP: Theory and Implementation. - Francesco Calimeri; Susanna Cozza; Giovambattista Ianni; Nicola Leone (ICLP, 2008)

Magic Sets for the Bottom-Up Evaluation of Finitely Recursive Programs. - Francesco Calimeri; Susanna Cozza; Giovambattista Ianni; Nicola Leone (LPNMR, 2009)

An ASP System with Functions, Lists, and Sets. - Francesco Calimeri; Susanna Cozza; Giovambattista Ianni; Nicola Leone (LPNMR, 2009)

Enhancing ASP by Functions: Decidable Classes and Implementation Techniques. - Francesco Calimeri; Susanna Cozza; Giovambattista Ianni; Nicola Leone (AAAI, 2010)

The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track. - Francesco Calimeri; Giovambattista Ianni; Francesco Ricca; Mario Alviano; Annamaria Bria; Gelsomina Catalano; Susanna Cozza; Wolfgang Faber 001; Onofrio Febbraro; Nicola Leone; Marco Manna; Alessandra Martello; et al. (LPNMR, 2011)

Finitely recursive programs: Decidability and bottom-up computation. - Francesco Calimeri; Susanna Cozza; Giovambattista Ianni; Nicola Leone (AI Commun., 2011)