Leone, N., Pfeifer, G., Faber, W., Eiter, T., Gottlob, G., Koch, C., Mateis, C., Perri, S., & Scarcello, F. (2002).
The DLV System for Knowledge Representation and Reasoning (INFSYS RR-1843-02-14).
http://hdl.handle.net/20.500.12708/32798 ( reposiTUm)