Leone, N., Pfeifer, G., Faber, W., Eiter, T., Gottlob, G., Perri, S., & Scarcello, F. (2002). The DLV System for Knowledge Representation and Reasoning.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)Leone, N., G. Pfeifer, W. Faber, T. Eiter, G. Gottlob, S. Perri, و F. Scarcello. The DLV System for Knowledge Representation and Reasoning. 2002.
توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)Leone, N., et al. The DLV System for Knowledge Representation and Reasoning. 2002.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.