The DLV System for Knowledge Representation and Reasoning (2002)

by N Leone, G Pfeifer, W Faber, T Eiter, G Gottlob, C Koch, C Mateis, S Perri, F Scarcello
Venue:Institut für Informationssysteme, Technische Universität Wien, A-1040