Advanced Heuristics for Parallel ASP Instantiation. - Simona Perri; Francesco Ricca; Marco Sirianni (RCRA@AI*IA, 2009)

Parallel Instantiation in DLV. - Simona Perri; Francesco Ricca; Marco Sirianni (CILC, 2010)

Towards a Fully-Parallel DLV System. - Simona Perri; Francesco Ricca; Marco Sirianni (RCRA@CPAIOR, 2010)

A parallel ASP instantiator based on DLV. - Simona Perri; Francesco Ricca; Marco Sirianni (DAMP, 2010)

The Birth of a WASP: Preliminary Report on a New ASP Solver. - Carmine Dodaro; Mario Alviano; Wolfgang Faber 001; Nicola Leone; Francesco Ricca; Marco Sirianni (CILC, 2011)

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)

Parallel instantiation of ASP programs: techniques and experiments. - Simona Perri; Francesco Ricca; Marco Sirianni (Theory Pract. Log. Program., 2013)