System Description: DLV. - Tina Dell'Armi; Wolfgang Faber 001; Giuseppe Ielpa; Christoph Koch 001; Nicola Leone; Simona Perri; Gerald Pfeifer (LPNMR, 2001)

The DLV System. - Nicola Leone; Gerald Pfeifer; Wolfgang Faber 001; Francesco Calimeri; Tina Dell'Armi; Thomas Eiter; Georg Gottlob; Giovambattista Ianni; Giuseppe Ielpa; Christoph Koch 001; Simona Perri; Axel Polleres (JELIA, 2002)

Aggregate Functions in DLV. - Tina Dell'Armi; Wolfgang Faber 001; Giuseppe Ielpa; Nicola Leone; Gerald Pfeifer (Answer Set Programming, 2003)

Aggregate Functions in Disjunctive Logic Programming: Semantics, Complexity, and Implementation in DLV. - Tina Dell'Armi; Wolfgang Faber 001; Giuseppe Ielpa; Nicola Leone; Gerald Pfeifer (IJCAI, 2003)

System Description: DLV with Aggregates. - Tina Dell'Armi; Wolfgang Faber 001; Giuseppe Ielpa; Nicola Leone; Simona Perri; Gerald Pfeifer (LPNMR, 2004)

A DLP System with Object-Oriented Features. - Francesco Ricca; Nicola Leone; Valerio De Bonis; Tina Dell'Armi; Stefania Galizia; Giovanni Grasso 002 (LPNMR, 2005)

Process Representation and Reasoning Using a Logic Formalism with Object-Oriented Features. - Andrea Gualtieri; Tina Dell'Armi; Nicola Leone (Business Process Management Workshops, 2006)

Design and implementation of aggregate functions in the DLV system. - Wolfgang Faber 001; Gerald Pfeifer; Nicola Leone; Tina Dell'Armi; Giuseppe Ielpa (Theory Pract. Log. Program., 2008)

OntoDLV: An ASP-based System for Enterprise Ontologies. - Francesco Ricca; Lorenzo Gallucci; Roman Schindlauer; Tina Dell'Armi; Giovanni Grasso 001; Nicola Leone (J. Log. Comput., 2009)