nfn2dlp and nfnsolve: Normal Form Nested Programs Compiler and Solver. - Annamaria Bria; Wolfgang Faber 001; Nicola Leone (LPNMR, 2009)

Normal Form Nested Programs. - Annamaria Bria; Wolfgang Faber 001; Nicola Leone (Fundam. Informaticae, 2009)

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)