System Description: DLV with Aggregates.

Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Nicola Leone, Simona Perri, Gerald Pfeifer

Browse the full LPNMR paper archive.