N. Leone, G. Pfeifer, W. Faber, T. Eiter, G. Gottlob, S. Perri, F. Scarcello:
"The DLV System for knowledge representation and reasoning";
ACM Transactions on Computational Logic, Vol. 7 (2006), 3; 499 - 562.
http://aleph.ub.tuwien.ac.at/F?base=tuw01&func=find-c&ccl_term=AC06586882
Project Head Thomas Eiter:
Infomix